File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -483,10 +483,10 @@ jobs:
483483 - program-target : cairo_test_programs
484484 programs-dir : cairo_programs
485485 extra-args : ' --cairo_pie_output {program}.rs.pie.zip'
486- - program-target : cairo_stwo_exclusive_programs
486+ - program-target : cairo_proof_programs
487487 programs-dir : cairo_programs/stwo_exclusive_programs
488488 extra-args : ' --cairo_pie_output {program}.rs.pie.zip'
489- - program-target : cairo_stwo_exclusive_programs_proof_mode
489+ - program-target : cairo_proof_programs
490490 programs-dir : cairo_programs/stwo_exclusive_programs
491491 extra-args : ' --proof_mode --air_public_input {program}.rs.air_public_input --air_private_input {program}.rs.air_private_input '
492492 name : Compute memory and execution traces with cairo-vm
You can’t perform that action at this time.
0 commit comments