@@ -105,55 +105,14 @@ jobs:
105105
106106 # Generate parameters using makefile target
107107 make params
108-
109- # Verify parameter files were created
110- for target_dir in builds/target_*b; do
111- size=$(basename "$target_dir" | sed 's/target_//')
112- # Calculate ROM length the same way as in Makefile
113- rom_length=$(echo "${size%b} / 16 + 16" | bc)
114-
115- # List of expected files
116- files=(
117- "aux_params_${size}_rom_length_${rom_length}.bin"
118- "prover_key_${size}_rom_length_${rom_length}.bin"
119- "verifier_key_${size}_rom_length_${rom_length}.bin"
120- )
121-
122- for file in "${files[@]}"; do
123- if [ ! -f "$target_dir/artifacts/$file" ]; then
124- echo "Error: File not found: $file in $target_dir/artifacts"
125- exit 1
126- else
127- echo "Successfully verified: $file"
128- fi
129- done
130-
131- echo "Successfully generated all parameter files for ${size}"
132- done
108+ echo "Successfully generated all parameter files for ${size}"
133109
134110 - name : Create release artifacts
135111 run : |
136112 # First verify parameter files were created
137113 for target_dir in builds/target_*b; do
138114 size=$(basename "$target_dir" | sed 's/target_//')
139115 # Calculate ROM length the same way as in Makefile
140- rom_length=$(echo "${size%b} / 16 + 16" | bc)
141-
142- # List of expected files
143- files=(
144- "aux_params_${size}_rom_length_${rom_length}.bin"
145- "prover_key_${size}_rom_length_${rom_length}.bin"
146- "verifier_key_${size}_rom_length_${rom_length}.bin"
147- )
148-
149- for file in "${files[@]}"; do
150- if [ ! -f "$target_dir/artifacts/$file" ]; then
151- echo "Error: File not found: $file in $target_dir/artifacts"
152- exit 1
153- else
154- echo "Successfully verified: $file"
155- fi
156- done
157116
158117 echo "Successfully generated all parameter files for ${size}"
159118
0 commit comments