Work around azure timeouts on GitHub actions, hopefully

cf actions/runner-images#675
JasonGross · Apr 7, 2020 · a76a598 · a76a598
1 parent 8266f3d
commit a76a598
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/.github/workflows/c.yml b/.github/workflows/c.yml
@@ -17,8 +17,9 @@ jobs:
       uses: snickerbockers/submodules-init@v4
     - name: install gcc
       run: |
-        sudo apt-get update -q
-        sudo apt-get install g++-7 libssl-dev -y --allow-unauthenticated
+        sudo sed -i 's/azure\.//' /etc/apt/sources.list
+        sudo apt-get -o Acquire::Retries=30 update -q
+        sudo apt-get -o Acquire::Retries=30 install g++-7 libssl-dev -y --allow-unauthenticated
         sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-7 60 --slave /usr/bin/g++ g++ /usr/bin/g++-7
     - name: make only-test-c-files CC=gcc
       run: make only-test-c-files CC=gcc EXTERNAL_DEPENDENCIES=1
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -29,9 +29,10 @@ jobs:
     steps:
     - name: install Coq
       run: |
+        sudo sed -i 's/azure\.//' /etc/apt/sources.list
         if [ ! -z "$PPA" ]; then sudo add-apt-repository "$PPA" -y; fi
-        sudo apt-get update -q
-        sudo apt-get install ocaml-findlib $COQ_PACKAGE -y --allow-unauthenticated
+        sudo apt-get -o Acquire::Retries=30 update -q
+        sudo apt-get -o Acquire::Retries=30 install ocaml-findlib $COQ_PACKAGE -y --allow-unauthenticated
     - name: echo build params
       run: |
         set -e