run the programs in stwo_exclusive_programs in proof mode (#1953)

lambdaclass · Feb 17, 2025 · 7a97bed · 7a97bed
1 parent abe5f44
commit 7a97bed
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -496,6 +496,9 @@ jobs:
         - program-target: cairo_stwo_exclusive_programs
           programs-dir: cairo_programs/stwo_exclusive_programs
           extra-args: '--cairo_pie_output {program}.rs.pie.zip'
+        - program-target: cairo_programs/stwo_exclusive_programs
+          programs-dir: cairo_stwo_exclusive_programs
+          extra-args: '--proof_mode --air_public_input {program}.rs.air_public_input --air_private_input {program}.rs.air_private_input '
     name: Compute memory and execution traces with cairo-vm
     needs: [ build-programs, build-release ]
     runs-on: ubuntu-22.04