fix CI

affeldt-aist · Jan 1, 2024 · c855803 · c855803
1 parent 2a5790d
commit c855803
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -19,14 +19,9 @@ jobs:
         image:
           - 'mathcomp/mathcomp:1.14.0-coq-8.14'
           - 'mathcomp/mathcomp:1.14.0-coq-8.15'
-          - 'mathcomp/mathcomp:1.14.0-coq-8.16'
-          - 'mathcomp/mathcomp:1.14.0-coq-8.17'
-          - 'mathcomp/mathcomp:1.14.0-coq-8.18'
           - 'mathcomp/mathcomp:1.15.0-coq-8.14'
           - 'mathcomp/mathcomp:1.15.0-coq-8.15'
           - 'mathcomp/mathcomp:1.15.0-coq-8.16'
-          - 'mathcomp/mathcomp:1.15.0-coq-8.17'
-          - 'mathcomp/mathcomp:1.15.0-coq-8.18'
           - 'mathcomp/mathcomp:1.16.0-coq-8.14'
           - 'mathcomp/mathcomp:1.16.0-coq-8.15'
           - 'mathcomp/mathcomp:1.16.0-coq-8.16'