From 41a2ae17f1d28b12a98904b9e254e3e5f1314198 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 13 Mar 2025 14:20:47 -0700 Subject: [PATCH] [CI] [alpine-edge] coq => rocq The package was renamed --- .github/workflows/coq-alpine.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/coq-alpine.yml b/.github/workflows/coq-alpine.yml index c667239ad9..40e011c6fd 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 sudo + packages: git make jq gcc musl-dev python3 ocaml ocaml-findlib ghc cabal rocq ocaml-zarith bash sudo - name: host build params run: etc/ci/describe-system-config.sh - name: chroot build params