Fix circom compilation command.

This commit is contained in:
Alejandro Cabeza Romero 2025-08-04 14:26:10 +02:00
parent af5e9e6772
commit a37e881548
No known key found for this signature in database
GPG Key ID: DA3D14AE478030FD

View File

@ -73,7 +73,7 @@ jobs:
- name: Generate C++ Circuit
working-directory: repo/circom_circuits/Mantle
run: circom --c --r1cs --no_asm pol.circom
run: circom --c --r1cs --no_asm --O2 pol.circom
- name: Dependencies - Setup
run: |
@ -141,7 +141,7 @@ jobs:
- name: Generate C++ Circuit
working-directory: repo/circom_circuits/Mantle
run: circom --c --r1cs --no_asm pol.circom
run: circom --c --r1cs --no_asm --O2 pol.circom
- name: Dependencies - Setup
shell: msys2 {0}
@ -224,7 +224,7 @@ jobs:
- name: Generate C++ Circuit
working-directory: repo/circom_circuits/Mantle
run: circom --c --r1cs --no_asm pol.circom
run: circom --c --r1cs --no_asm --O2 pol.circom
- name: Dependencies - Setup
run: mkdir include