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 | |
| 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.
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 4ffc162..d326aae 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -26,8 +26,8 @@ stages: - build - - test - deploy + - test ################ #### build stage |