CI: Add monomorphisation tests to CI

rems-project · Feb 14, 2025 · dc05ef4 · dc05ef4
1 parent d173144
commit dc05ef4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/etc/ci_coverage_tests.sh b/etc/ci_coverage_tests.sh
@@ -20,6 +20,7 @@ elif [ "$1" = "prover" ]; then
 elif [ "$1" = "other" ]; then
     test/lexing/run_tests.py || returncode=1
     test/pattern_completeness/run_tests.py || returncode=1
+    test/mono/run_tests.py || returncode=1
     test/sailcov/run_tests.py || returncode=1
     test/format/run_tests.py || returncode=1
     test/oneoff/run_tests.py || returncode=1