diff --git a/Justfile b/Justfile index ca61467f..80a0d7b4 100644 --- a/Justfile +++ b/Justfile @@ -15,7 +15,7 @@ check-ruff: check-mypy: MYPYPATH=probe_src mypy --strict --package arena MYPYPATH=probe_src mypy --strict --package probe_py - #mypy --strict probe_src/libprobe + mypy --strict probe_src/libprobe compile-fresh-libprobe: make --directory=probe_src/libprobe clean