From 3b08b67175ecfaed5fe2ee123279b4e16b56aafb Mon Sep 17 00:00:00 2001 From: sripwoud Date: Wed, 24 Apr 2024 13:52:02 +0200 Subject: [PATCH] ci: debug pull-requests workflow --- .github/workflows/pull-requests.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/pull-requests.yml b/.github/workflows/pull-requests.yml index 59f147fd..5b1e2f36 100644 --- a/.github/workflows/pull-requests.yml +++ b/.github/workflows/pull-requests.yml @@ -51,7 +51,9 @@ jobs: # https://github.com/iden3/circuits/blob/8fffb6609ecad0b7bcda19bb908bdb544bdb3cf7/.github/workflows/main.yml#L18-L22 - name: Setup Circom deps - run: sudo apt-get update && sudo apt-get install -y wget nlohmann-json3-dev libgmp-dev nasm g++ build-essential + run: | + ls -la /etc/apt/sources.list.d/ + 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/latest/download/circom-linux-amd64 && sudo mv ./circom-linux-amd64 /usr/bin/circom && sudo chmod +x /usr/bin/circom