[CI] [Alpine] Remove workaround

JasonGross · Dec 23, 2023 · 8174c27 · 8174c27
1 parent 79ca97a
commit 8174c27
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/.github/workflows/coq-alpine.yml b/.github/workflows/coq-alpine.yml
@@ -39,12 +39,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
-    - 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: chroot build params
       shell: alpine.sh {0}
       run: etc/ci/describe-system-config.sh