ci(circuits): update circom url

This commit is contained in:
cedoor
2024-10-16 11:52:02 +01:00
parent eab3ab30c6
commit 5841327477
2 changed files with 2 additions and 2 deletions

View File

@@ -83,7 +83,7 @@ jobs:
sudo apt-get update && sudo apt-get install -y wget nlohmann-json3-dev libgmp-dev nasm g++ build-essential
- name: Setup Circom
run: wget https://github.com/iden3/circom/releases/download/v2.1.9/circom-linux-amd64 /usr/local/bin/circom && sudo chmod +x /usr/local/bin/circom
run: wget https://github.com/iden3/circom/releases/download/v2.1.9/circom-linux-amd64 /usr/bin/circom && sudo chmod +x /usr/bin/circom
- name: Install dependencies
run: yarn

View File

@@ -111,7 +111,7 @@ jobs:
run: |
sudo rm /etc/apt/sources.list.d/microsoft-prod.list
sudo apt-get update && sudo apt-get install -y wget nlohmann-json3-dev libgmp-dev nasm g++ build-essential
wget https://github.com/iden3/circom/releases/download/v2.1.9/circom-linux-amd64 /usr/local/bin/circom && sudo chmod +x /usr/local/bin/circom
wget https://github.com/iden3/circom/releases/download/v2.1.9/circom-linux-amd64 /usr/bin/circom && sudo chmod +x /usr/bin/circom
yarn workspace @semaphore-protocol/group build
yarn workspace @semaphore-protocol/identity build
yarn workspace @semaphore-protocol/proof build