Skip to content

Commit

Permalink
[CI] Remove mathcomp:1.15.0-coq-dev
Browse files Browse the repository at this point in the history
Since MC 1.15 does not compile anymore on Coq dev
  • Loading branch information
proux01 committed Nov 17, 2022
1 parent 1a4efa1 commit cf6369f
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion .github/workflows/docker-action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,6 @@ jobs:
- '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-dev'
- 'mathcomp/mathcomp-dev:coq-8.13'
- 'mathcomp/mathcomp-dev:coq-8.14'
- 'mathcomp/mathcomp-dev:coq-8.15'
Expand Down

0 comments on commit cf6369f

Please sign in to comment.