diff options
| author | Enrico Tassi | 2020-09-18 13:03:30 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2020-09-18 13:05:03 +0200 |
| commit | 37b16d6ad093ae958c942a94b6070bc72b744f77 (patch) | |
| tree | bde142d1aeecb0c54b74c540eb4fbcf57485d94b /.gitlab-ci.yml | |
| parent | 09a8989d98219e974ceb7a2620686117c9ad6fef (diff) | |
[ci] [dmesg] save as artifact
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 1f0c24c38b..51dde1eeac 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -326,12 +326,17 @@ build:base+async: COQ_EXTRA_CONF: "-native-compiler yes -coqide opt" COQUSERFLAGS: "-async-proofs on" after_script: - - dmesg + - dmesg > dmesg.txt timeout: 100m allow_failure: true # See https://github.com/coq/coq/issues/9658 only: variables: - $UNRELIABLE =~ /enabled/ + artifacts: + name: "$CI_JOB_NAME" + when: on_failure + paths: + - dmesg.txt build:quick: extends: .build-template @@ -339,12 +344,17 @@ build:quick: COQ_EXTRA_CONF: "-native-compiler no" QUICK: "1" after_script: - - dmesg + - dmesg > dmesg.txt timeout: 100m allow_failure: true # See https://github.com/coq/coq/issues/9637 only: variables: - $UNRELIABLE =~ /enabled/ + artifacts: + name: "$CI_JOB_NAME" + when: on_failure + paths: + - dmesg.txt windows64: extends: .windows-template |