[CI] Drop Arch Linux workaround

This is not required once https://gitlab.archlinux.org/archlinux/packaging/packages/coq/-/merge_requests/2 is merged.
mit-plv · Dec 24, 2023 · 02803fc · 02803fc
1 parent cb6f9a1
commit 02803fc
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/.github/workflows/coq-archlinux.yml b/.github/workflows/coq-archlinux.yml
@@ -29,11 +29,6 @@ jobs:
     - uses: actions/checkout@v4
       with:
         submodules: recursive
-    - name: work around coq issue 15663
-      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: Work around https://github.com/actions/checkout/issues/766
       run: git config --global --add safe.directory "*"
     - name: chroot build params