Drop Coq 8.11 and 8.12

math-comp · Jun 14, 2021 · 88299b0 · 88299b0
1 parent fab5169
commit 88299b0
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
@@ -15,8 +15,6 @@ jobs:
     strategy:
       matrix:
         image:
-          - mathcomp/mathcomp:1.12.0-coq-8.11
-          - mathcomp/mathcomp:1.12.0-coq-8.12
           - mathcomp/mathcomp:1.12.0-coq-8.13
       fail-fast: false
     steps: