Update docker-action.yml

math-comp · Feb 17, 2021 · 2db3c67 · 2db3c67
1 parent 4b76af1
commit 2db3c67
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -20,10 +20,9 @@ jobs:
           - 'mathcomp/mathcomp:1.12.0-coq-8.11'
           - 'mathcomp/mathcomp:1.12.0-coq-8.12'
           - 'mathcomp/mathcomp:1.12.0-coq-8.13'
-          - 'mathcomp/mathcomp:1.12.0-coq-dev'
           - 'mathcomp/mathcomp-dev:coq-8.11'
           - 'mathcomp/mathcomp-dev:coq-8.12'
-          - 'mathcomp/mathcomp-dev:coq-dev'
+          - 'mathcomp/mathcomp-dev:coq-8.13'
       fail-fast: false
     steps:
       - uses: actions/checkout@v2