blob: f92981b107a39033e6d3db7be350b4b412a77455 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/bin/sh
set -ex # Abort on first error
CUR_DIR=$PWD
cd "$GN3_CI_DIR"
# Run Pylint
"${HOME}/.config/guix/current/bin/guix" shell --file=guix.scm -- mypy .
echo Done Running MyPy!
cd "$CUR_DIR"
|