diff --git a/.github/workflows/coq-alpine.yml b/.github/workflows/coq-alpine.yml
index b6f53899b5..55f2341be2 100644
--- 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: |