Skip to content

Commit 7a97bed

Browse files
run the programs in stwo_exclusive_programs in proof mode (#1953)
1 parent abe5f44 commit 7a97bed

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

.github/workflows/rust.yml

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -496,6 +496,9 @@ jobs:
496496
- program-target: cairo_stwo_exclusive_programs
497497
programs-dir: cairo_programs/stwo_exclusive_programs
498498
extra-args: '--cairo_pie_output {program}.rs.pie.zip'
499+
- program-target: cairo_programs/stwo_exclusive_programs
500+
programs-dir: cairo_stwo_exclusive_programs
501+
extra-args: '--proof_mode --air_public_input {program}.rs.air_public_input --air_private_input {program}.rs.air_private_input '
499502
name: Compute memory and execution traces with cairo-vm
500503
needs: [ build-programs, build-release ]
501504
runs-on: ubuntu-22.04

0 commit comments

Comments
 (0)