Fix up Justfile

charmoniumQ · Jul 17, 2024 · 48b6f36 · 48b6f36
1 parent ca93ee5
commit 48b6f36
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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