mypy for dev_tools separate

Author: mpharrigan

.github/workflows/pr.yaml

@@ -59,6 +59,7 @@ jobs:
           pip install --no-deps -e .
       - run: |
           check/pytest-dev-tools
+          check/mypy-dev-tools
 
   notebooks:
     runs-on: ubuntu-24.04

check/mypy

@@ -15,7 +15,7 @@ cd "${topdir}" || exit $?
 CONFIG_FILE='mypy.ini'
 
 echo -e -n "\033[31m"
-mypy --config-file=dev_tools/conf/$CONFIG_FILE "$@" qualtran/  dev_tools/
+mypy --config-file=dev_tools/conf/$CONFIG_FILE "$@" qualtran/
 result=$?
 echo -e -n "\033[0m"
 

check/mypy-dev-tools

@@ -0,0 +1,22 @@
+#!/usr/bin/env bash
+
+################################################################################
+# Runs mypy on the dev_tools/ folder using a preconfigured mypy.ini file.
+#
+# Usage:
+#     check/mypy-dev-tool [--flags]
+################################################################################
+
+# Get the working directory to the repo root.
+thisdir="$(dirname "${BASH_SOURCE[0]}")" || exit $?
+topdir="$(git -C "${thisdir}" rev-parse --show-toplevel)" || exit $?
+cd "${topdir}" || exit $?
+
+CONFIG_FILE='mypy.ini'
+
+echo -e -n "\033[31m"
+mypy --config-file=dev_tools/conf/$CONFIG_FILE "$@" dev_tools/
+result=$?
+echo -e -n "\033[0m"
+
+exit ${result}