add compiler to ci

succinctlabs · Mar 16, 2024 · 61dd4c6 · 61dd4c6
1 parent e9542f8
commit 61dd4c6
Showing 1 changed file with 11 additions and 1 deletion.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -46,7 +46,7 @@ jobs:
           toolchain: nightly-2024-01-25
           override: true
 
-      - name: Run cargo test
+      - name: Run cargo test on sp1-core
         uses: actions-rs/cargo@v1
         with:
           command: test
@@ -56,6 +56,16 @@ jobs:
           RUST_LOG: 1
           RUST_BACKTRACE: 1
 
+      - name: Run cargo test on sp1-recursion-compiler
+        uses: actions-rs/cargo@v1
+        with:
+          command: test
+          args: -p sp1-recursion-compiler --release
+        env:
+          RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0
+          RUST_LOG: 1
+          RUST_BACKTRACE: 1
+
       - name: Run cargo test with no default features
         uses: actions-rs/cargo@v1
         with: