diff options
| author | Erik Martin-Dorel | 2019-03-22 12:56:53 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-04-16 15:23:32 +0200 |
| commit | 77ed8b94fd552e24de6b6824aab4996bf1731aa5 (patch) | |
| tree | aac689696e89bc07243d34074f7c508117bcb07a /Dockerfile | |
| parent | f4cc7395ed95e433e836f6cfcf65d849e7629024 (diff) | |
Swap the deploy and test stages
so the images:
- mathcomp/mathcomp-dev:coq-8.7
- mathcomp/mathcomp-dev:coq-8.8
- mathcomp/mathcomp-dev:coq-8.9
- mathcomp/mathcomp-dev:coq-dev
will be pushed to Docker Hub even if a third-party library CI fails.
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions