From bb1c6984b2ef42c63ee0d5e637d4e9385bea0e5d Mon Sep 17 00:00:00 2001 From: Vivian Plasencia Date: Wed, 16 Oct 2024 13:04:32 +0200 Subject: [PATCH] ci: add -O flag to the wget command --- .github/workflows/production.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/production.yml b/.github/workflows/production.yml index 983317c72..13cc0cd08 100644 --- a/.github/workflows/production.yml +++ b/.github/workflows/production.yml @@ -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/bin/circom && sudo chmod +x /usr/bin/circom + run: wget https://github.com/iden3/circom/releases/download/v2.1.9/circom-linux-amd64 -O /usr/bin/circom && sudo chmod +x /usr/bin/circom - name: Install dependencies run: yarn