From ce6d62220226d886fcbdbe8c76055f89b0091f8e Mon Sep 17 00:00:00 2001 From: sripwoud Date: Wed, 24 Apr 2024 13:54:20 +0200 Subject: [PATCH] ci: remove microsoft.prod sources file --- .github/workflows/pull-requests.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/pull-requests.yml b/.github/workflows/pull-requests.yml index 5b1e2f36..484dcac7 100644 --- a/.github/workflows/pull-requests.yml +++ b/.github/workflows/pull-requests.yml @@ -52,7 +52,7 @@ jobs: # https://github.com/iden3/circuits/blob/8fffb6609ecad0b7bcda19bb908bdb544bdb3cf7/.github/workflows/main.yml#L18-L22 - name: Setup Circom deps run: | - ls -la /etc/apt/sources.list.d/ + 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 - name: Setup Circom