#!/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"