Fix

mit-plv · Dec 24, 2023 · 6693c20 · 6693c20
1 parent 115431e
commit 6693c20
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/coq-alpine.yml b/.github/workflows/coq-alpine.yml
@@ -38,13 +38,13 @@ jobs:
       with:
         branch: ${{ matrix.alpine }}
         extra-repositories: https://dl-cdn.alpinelinux.org/alpine/edge/testing
-        packages: git make jq gcc musl-dev python3 ocaml ocaml-findlib ghc cabal coq ocaml-zarith bash dune ocaml-ppxlib
+        packages: git make jq gcc musl-dev python3 ocaml ocaml-findlib ghc cabal coq ocaml-zarith bash
     # next two steps as per https://gitlab.alpinelinux.org/alpine/aports/-/merge_requests/57766#note_365103
     - name: Download development Coq
       shell: alpine.sh {0}
       run: |
         mkdir -p MR
-        wget 'https://gitlab.alpinelinux.org/JasonGross/aports/-/jobs/1224083/artifacts/download?file_type=archive' -O MR.zip
+        wget 'https://gitlab.alpinelinux.org/JasonGross/aports/-/jobs/1224453/artifacts/download?file_type=archive' -O MR.zip
         unzip MR.zip -d MR
         ls -la MR
         find MR
@@ -102,7 +102,7 @@ jobs:
         done
     - name: make all
       shell: alpine.sh {0}
-      run: make TIMED=1 TIMING=1 -d -j2 all
+      run: etc/ci/github-actions-make.sh ALLOW_DIFF=1 -j2 all
     - name: make all
       shell: alpine.sh {0}
       run: etc/ci/github-actions-make.sh ALLOW_DIFF=1 -j2 perf-Sanity