Update coq-alpine.yml with sudo

mit-plv · Nov 16, 2023 · bb6a1b3 · bb6a1b3
1 parent 2892821
commit bb6a1b3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq-alpine.yml b/.github/workflows/coq-alpine.yml
@@ -36,7 +36,7 @@ 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
+        packages: git make jq gcc musl-dev python3 ocaml ocaml-findlib ghc cabal coq ocaml-zarith bash sudo
     - name: work around coq issue 15663
       shell: alpine.sh --root {0}
       run: |