Initial commit

2023-03-09 12:14:37 +01:00
commit 9b724acfbc
14 changed files with 454 additions and 0 deletions
@@ -0,0 +1,16 @@
+#!/usr/bin/env bash
+# Runs type checker and linters.
+
+# Ensure that we return to the current working directory
+# and exit the script immediately in case of an error:
+trap "cd $(realpath ${PWD}); exit 1" ERR
+# Change into project root directory:
+cd "$(dirname $(dirname $(realpath $0)))"
+
+echo 'Performing type checks...'
+mypy
+echo
+
+echo 'Linting source and test files...'
+flake8 src/ tests/
+echo -e 'No issues found.'