Change Noir workflow

aragonzkresearch · Mar 30, 2024 · ef78987 · ef78987
1 parent b3a946c
commit ef78987
Showing 1 changed file with 5 additions and 12 deletions.
diff --git a/.github/workflows/noir.yml b/.github/workflows/noir.yml
@@ -10,26 +10,19 @@ jobs:
   build:
 
     runs-on: ubuntu-latest
+    timeout-minutes: 60
 
     steps:
     - uses: actions/checkout@v3
     - name: Install Noir toolchain
       uses: noir-lang/[email protected]
       with:
         toolchain: nightly
-    - name: Prove single SMT OP circuit
+    - name: Execute single SMT OP circuit
       run: |
         cd circuits/single_smt_op
-        nargo prove
-    - name: Verify single SMT OP circuit
-      run: |
-        cd circuits/single_smt_op
-        nargo verify
-    - name: Prove batch SMT OP circuit
-      run: |
-        cd circuits/batch_smt_op
-        nargo prove
-    - name: Verify batch SMT OP circuit
+        nargo execute
+    - name: Execute batch SMT OP circuit
       run: |
         cd circuits/batch_smt_op
-        nargo verify
+        nargo execute