Don't require camlp5

math-comp · Oct 12, 2022 · 89ca832 · 89ca832
1 parent 1bd04c6
commit 89ca832
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -38,7 +38,6 @@ jobs:
               opam pin add -n -y -k path coq-mathcomp-classical $WORKDIR
               opam pin add -n -y -k path $PACKAGE $WORKDIR
               opam update -y
-              opam depext -y -u camlp5
               opam install -y -j 2 coq-mathcomp-classical --deps-only
             endGroup