Update coq-alpine.yml

mit-plv · Dec 25, 2023 · c07f206 · c07f206
1 parent c1e5de5
commit c07f206
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq-alpine.yml b/.github/workflows/coq-alpine.yml
@@ -38,7 +38,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 dune ocaml-ppxlib
     # next two steps as per https://gitlab.alpinelinux.org/alpine/aports/-/merge_requests/57766#note_365103
     - name: Download development Coq
       shell: alpine.sh {0}