From 943d1a2cd0711e974a71b686fa1bc7d3884ef0ec Mon Sep 17 00:00:00 2001
From: Gianbelinche <39842759+gianbelinche@users.noreply.github.com>
Date: Fri, 19 Dec 2025 12:49:19 -0300
Subject: [PATCH] Add prover test to ci

---
 .github/workflows/pr_main.yaml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/pr_main.yaml b/.github/workflows/pr_main.yaml
index 8389a24a3..e9c595fcc 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 && make test-rust
+
+      - name: Run prover tests
+        run: |
+          cd prover && cargo test