feat(ci): test Lean as part of the core tests

Upon every rebuild, this tests the Lean code as well which is fairly fast to test. Signed-off-by: Raito Bezarius <[email protected]>
rems-project · Jan 13, 2025 · bc0d763 · bc0d763
1 parent 3aa2b92
commit bc0d763
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -60,6 +60,7 @@ jobs:
       run: |
         eval $(opam env)
         etc/ci_core_tests.sh
+        etc/ci_lean_tests.sh
 
   build-docker:
     runs-on: "ubuntu-latest"

diff --git a/etc/ci_lean_tests.sh b/etc/ci_lean_tests.sh
@@ -0,0 +1,9 @@
+#!/bin/sh
+
+set -eu
+
+echo "sail --version: $(sail --version)"
+
+export TEST_PAR=4
+
+test/lean/run_tests.py