Files
2026-06-24 17:24:04 +02:00

7 lines
129 B
Bash
Executable File

#!/bin/bash
set -euo pipefail
cd "$(dirname "${0}")"
poetry run mypy .
rm -Rf test_programs/workdir
poetry run pytest -vv tests/