diff options
| author | coqbot-app[bot] | 2020-09-17 11:16:36 +0000 |
|---|---|---|
| committer | GitHub | 2020-09-17 11:16:36 +0000 |
| commit | 14f0e5059e7f49cabbcd1571d7f053db7d7d3f35 (patch) | |
| tree | 70a1ed23fa8ac283e6d5791a8fe6bf25b28c7c8a | |
| parent | 3ff6af396ce73291a127707022aa2c96adc52b0b (diff) | |
| parent | d0d2857a8037cbf91be17732db7d2a78b495e837 (diff) | |
Merge PR #13024: [CI] Always upload artifacts
Reviewed-by: Zimmi48
| -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 22658cc9b8..4a57c6bc68 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 |