diff options
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 6169c7e7e4..e829b517d7 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -321,6 +321,19 @@ test-suite:edge+flambda: OPAM_SWITCH: edge OPAM_VARIANT: "+flambda" +test-suite:egde:dune:dev: + stage: test + dependencies: + - build:egde:dune:dev + script: make -f Makefile.dune test-suite + variables: + OPAM_SWITCH: edge + artifacts: + name: "$CI_JOB_NAME.logs" + when: on_failure + paths: + - _build/default/test-suite/logs + validate:base: <<: *validate-template dependencies: |