[ci] Pin math-comp to avoid upstream opam problems

rocq-archive · May 10, 2023 · bc271f3 · bc271f3
1 parent 47c5470
commit bc271f3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -32,7 +32,7 @@ jobs:
       matrix:
         ocaml-version: [4.07.1, 4.08.1, 4.09.1, 4.10.1, 4.11.1, 4.12.1, 4.13.1]
         test-target: [test]
-        extra-opam: ["coq.8.15.0 coq-mathcomp-ssreflect"]
+        extra-opam: ["coq.8.15.0 coq-mathcomp-ssreflect.1.17.0"]
         include:
         - ocaml-version: 4.07.1+32bit
           test-target: js-dune