diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 2030ae3766801c6a8b01650307035c0485ad383f..1df84dbcfae2962f4259c159be261981bfc71522 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -127,8 +127,7 @@ eva-default-tests: CONFIG: "default" <<: *eva_template -eva-domains: - <<: *eva_template +.build_template: &eva_domains parallel: matrix: - CONFIG: [ @@ -141,6 +140,25 @@ eva-domains: "symblocs" ] +eva-domains: + <<: *eva_template + <<: *eva_domains + when: manual + +eva-domains-nightly: + <<: *eva_template + <<: *eva_domains + only: + refs: + - schedules + +eva-domains-release: + <<: *eva_template + <<: *eva_domains + only: + variables: + - $RELEASE == "yes" + kernel-tests: stage: tests script: @@ -301,7 +319,7 @@ internal_nightly: - ./nix/build-proxy.sh default-config-tests parallel: matrix: - - OCAML: ["4.08", "4.13"] + - OCAML: ["4.13"] ocaml-versions: <<: *ocaml_versions_template