diff options
| author | Théo Zimmermann | 2019-08-22 19:06:32 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-08-22 19:06:32 +0200 |
| commit | 0fc73b31859abb42f3fccf018497b33dfa49c33b (patch) | |
| tree | dbbcfc278a2965f6aaf8e73aa1c765395f7c5e44 | |
| parent | 45db028fa0ffbdd77cf87dc73f9d59d488e1c7b6 (diff) | |
[gitlab/ci] Do not wait for all builds to finish to run the tests.
| -rw-r--r-- | .gitlab-ci.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 0501de8534..c46e56c721 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -110,6 +110,8 @@ before_script: .dune-ci-template: stage: test + needs: + - build:edge+flambda:dune:dev dependencies: - build:edge+flambda:dune:dev script: @@ -192,11 +194,15 @@ before_script: - make -f Makefile.ci -j "$NJOBS" "${CI_JOB_NAME#*:}" - echo 'end:coq.test' - set +e + needs: + - build:base dependencies: - build:base .ci-template-flambda: extends: .ci-template + needs: + - build:edge+flambda dependencies: - build:edge+flambda variables: |