ci: remove microsoft.prod sources file

This commit is contained in:
sripwoud
2024-04-24 13:54:20 +02:00
parent 3b08b67175
commit ce6d622202

View File

@@ -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