From dd8e7d2d3e85a84a79e647fd0fe28707aaa4060e Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sun, 24 Dec 2023 15:27:15 -0800 Subject: [PATCH] Drop alpine workaround Once https://gitlab.alpinelinux.org/alpine/aports/-/merge_requests/57766 is merged we will no longer require this workaround. --- .github/workflows/coq-alpine.yml | 6 ------ 1 file changed, 6 deletions(-) diff --git a/.github/workflows/coq-alpine.yml b/.github/workflows/coq-alpine.yml index 928247d764..343b7fff37 100644 --- a/.github/workflows/coq-alpine.yml +++ b/.github/workflows/coq-alpine.yml @@ -37,12 +37,6 @@ jobs: 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 - - name: work around coq issue 15663 - shell: alpine.sh --root {0} - run: | - ln -s /usr/lib/coq /usr/lib/ocaml/coq - ln -s /usr/lib/coq-core /usr/lib/ocaml/coq-core - ln -s /usr/lib/coqide-server /usr/lib/ocaml/coqide-server - name: host build params run: etc/ci/describe-system-config.sh - name: chroot build params