diff options
| author | coqbot-app[bot] | 2020-09-22 21:12:46 +0000 |
|---|---|---|
| committer | GitHub | 2020-09-22 21:12:46 +0000 |
| commit | 193ea58286a15849cd7caa7d87572beb12204645 (patch) | |
| tree | 5bb6d8a48ad286a1826ad102e6d2f6cbf151b712 | |
| parent | c66919b501f58867fa4cb05bcf80c83f96042a90 (diff) | |
| parent | 14aaac29871328d6a369d52d8febd74afc727d64 (diff) | |
Merge PR #13061: fix build:quick and build:base+async artifacts
Reviewed-by: Zimmi48
| -rw-r--r-- | .gitlab-ci.yml | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index a3f6eab1a7..9b208f5a24 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -79,6 +79,7 @@ before_script: - config/coq_config.py - config/coq_config.ml - test-suite/misc/universes/all_stdlib.v + - dmesg.txt expire_in: 1 week script: - set -e @@ -338,10 +339,7 @@ build:base+async: variables: - $UNRELIABLE =~ /enabled/ artifacts: - name: "$CI_JOB_NAME" - when: on_failure - paths: - - dmesg.txt + when: always build:quick: extends: .build-template @@ -356,10 +354,7 @@ build:quick: variables: - $UNRELIABLE =~ /enabled/ artifacts: - name: "$CI_JOB_NAME" - when: on_failure - paths: - - dmesg.txt + when: always windows64: extends: .windows-template |