Remove mathcomp-dev:coq-8.16 and mathcomp-dev:coq-8.17 from CI

math-comp · Jul 11, 2024 · 0f32217 · 0f32217
1 parent 05ce627
commit 0f32217
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -18,8 +18,6 @@ jobs:
           - mathcomp/mathcomp:2.2.0-coq-8.17
           - mathcomp/mathcomp:2.2.0-coq-8.18
           - mathcomp/mathcomp:2.2.0-coq-8.19
-          - mathcomp/mathcomp-dev:coq-8.16
-          - mathcomp/mathcomp-dev:coq-8.17
           - mathcomp/mathcomp-dev:coq-8.18
           - mathcomp/mathcomp-dev:coq-8.19
           - mathcomp/mathcomp-dev:coq-dev