.gitlab-ci.yml 834 Bytes
Newer Older
1
stages:
2
  - trigger pipelines
3

4
5
6
7
8
9
10
11
12
13
# rules for the default triggers:
# - pipelines are triggered for commits to master, tags, merge requests
# - Within merge requests, we require to start the pipeline manually
#   by clicking play for the trigger
.default-trigger:
  stage: trigger pipelines
  trigger:
    include:
      - local: .gitlab-ci/default.yml
    strategy: depend
14
15
  rules:
    - if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH
16
    - if: $CI_PIPELINE_SOURCE == "pipeline"
17
18
19
    - if: $CI_PIPELINE_SOURCE == "merge_request_event"
      when: manual

20
21
22
23
debian11-gcc9-cpp20:
  extends: .default-trigger
  variables:
    IMAGE: registry.dune-project.org/docker/ci/dune:2.7-debian-11-gcc-9-20
24

25
26
27
28
ubuntu18.04-clang6-cpp17:
  extends: .default-trigger
  variables:
    IMAGE: registry.dune-project.org/docker/ci/dune:2.7-ubuntu-18.04-clang-6-17