autogen/scripts/pre-commit-mypy-run.sh

#!/usr/bin/env bash

# taken from: https://jaredkhan.com/blog/mypy-pre-commit

# A script for running mypy,
# with all its dependencies installed.

set -o errexit

# Change directory to the project root directory.
cd "$(dirname "$0")"/..

pip install -q -e .[types]

mypy
Add mypy to pre-commit (#2068) * Add mypy check in pre-commit * Add mypy check in pre-commit * bug fix * CI fix * add python version matrix for checking types in CI * added 3.12 to CI --------- Co-authored-by: Eric Zhu <ekzhu@users.noreply.github.com> 2024-03-20 03:01:16 +01:00			`#!/usr/bin/env bash`

			`# taken from: https://jaredkhan.com/blog/mypy-pre-commit`

			`# A script for running mypy,`
			`# with all its dependencies installed.`

			`set -o errexit`

			`# Change directory to the project root directory.`
			`cd "$(dirname "$0")"/..`

mypy in pre-commit fixed (#2117) * mypy in pre-commit fixed * polishing 2024-03-21 19:54:39 +01:00			`pip install -q -e .[types]`

Add mypy to pre-commit (#2068) * Add mypy check in pre-commit * Add mypy check in pre-commit * bug fix * CI fix * add python version matrix for checking types in CI * added 3.12 to CI --------- Co-authored-by: Eric Zhu <ekzhu@users.noreply.github.com> 2024-03-20 03:01:16 +01:00			`mypy`