diff --git a/.github/workflows/pr_main.yaml b/.github/workflows/pr_main.yaml
index 28faeb641..1eca42998 100644
--- a/.github/workflows/pr_main.yaml
+++ b/.github/workflows/pr_main.yaml
@@ -60,3 +60,7 @@ jobs:
       - name: Run rust tests
         run: |
           cd executor && rustup target add riscv32im-unknown-none-elf && make test-rust
+
+      - name: Run prover tests
+        run: |
+          cd prover && cargo test