diff options
| author | Jason Gross | 2020-09-14 19:25:22 -0400 |
|---|---|---|
| committer | Jason Gross | 2020-09-14 19:25:22 -0400 |
| commit | d0d2857a8037cbf91be17732db7d2a78b495e837 (patch) | |
| tree | 017cd3585e156e8f9d3ad6e32d417e0643138e95 | |
| parent | 090550218d0a6d08c7df34b1238d5c0d38520bd5 (diff) | |
[CI] Always upload artifacts
In order to support the workflow where coqbot automatically turns
failing CI jobs into minimized examples for the test-suite easily
(https://github.com/coq/bot/issues/107), we want to be able to get all
of the .v files and all of the generated .vo and .glob files in the
artifact, even when the build fails.
| -rw-r--r-- | .gitlab-ci.yml | 37 |
1 files changed, 5 insertions, 32 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index ca5584bcb5..2b430c156e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -242,6 +242,11 @@ before_script: - make -f Makefile.ci -j "$NJOBS" "${CI_JOB_NAME#*:}" - echo 'end:coq.test' - set +e + artifacts: + name: "$CI_JOB_NAME" + paths: + - _build_ci + when: always needs: - build:base dependencies: @@ -683,10 +688,6 @@ library:ci-bbv: library:ci-bedrock2: extends: .ci-template-flambda - artifacts: - name: "$CI_JOB_NAME" - paths: - - _build_ci variables: NJOBS: "1" @@ -712,10 +713,6 @@ library:ci-coq_tools: library:ci-coqprime: stage: stage-3 extends: .ci-template-flambda - artifacts: - name: "$CI_JOB_NAME" - paths: - - _build_ci needs: - build:edge+flambda - plugin:ci-bignums @@ -741,10 +738,6 @@ library:ci-fcsl_pcm: library:ci-fiat_crypto: extends: .ci-template-flambda stage: stage-4 - artifacts: - name: "$CI_JOB_NAME" - paths: - - _build_ci needs: - build:edge+flambda - library:ci-coqprime @@ -781,10 +774,6 @@ library:ci-fiat_crypto_ocaml: library:ci-flocq: extends: .ci-template-flambda - artifacts: - name: "$CI_JOB_NAME" - paths: - - _build_ci library:ci-corn: extends: .ci-template-flambda @@ -809,10 +798,6 @@ library:ci-iris: library:ci-math_classes: extends: .ci-template-flambda stage: stage-3 - artifacts: - name: "$CI_JOB_NAME" - paths: - - _build_ci needs: - build:edge+flambda - plugin:ci-bignums @@ -855,10 +840,6 @@ plugin:ci-aac_tactics: plugin:ci-bignums: extends: .ci-template-flambda - artifacts: - name: "$CI_JOB_NAME" - paths: - - _build_ci plugin:ci-coq_dpdgraph: extends: .ci-template @@ -871,10 +852,6 @@ plugin:ci-elpi: plugin:ci-equations: extends: .ci-template - artifacts: - name: "$CI_JOB_NAME" - paths: - - _build_ci plugin:ci-fiat_parsers: extends: .ci-template @@ -920,7 +897,3 @@ plugin:ci-relation_algebra: plugin:ci-rewriter: extends: .ci-template-flambda - artifacts: - name: "$CI_JOB_NAME" - paths: - - _build_ci |