diff options
| author | coqbot-app[bot] | 2020-09-18 14:41:05 +0000 |
|---|---|---|
| committer | GitHub | 2020-09-18 14:41:05 +0000 |
| commit | 5bdd954f57aa9e7154258f38619c6be7b6ba2d7c (patch) | |
| tree | fe6aba4f5ee1b955360836357e1b980e6a51c670 /.gitlab-ci.yml | |
| parent | ff508baf8de691dfa94b9d65d7c77cf395127381 (diff) | |
| parent | 37b16d6ad093ae958c942a94b6070bc72b744f77 (diff) | |
Merge PR #13043: [ci] call dmesg after quick/async jobs to detect OOM
Reviewed-by: Zimmi48
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 16f82a19ee..7d22be71a1 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -330,22 +330,36 @@ build:base+async: variables: COQ_EXTRA_CONF: "-native-compiler yes -coqide opt" COQUSERFLAGS: "-async-proofs on" + after_script: + - 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 variables: COQ_EXTRA_CONF: "-native-compiler no" QUICK: "1" + after_script: + - 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 |