.gitlab-ci.yml 1.61 KB
Newer Older
1
stages:
2 3 4
  - build
  - test
  - deploy
5

6 7
.build_template: &build_definition
  stage: build
8
  script:
9
    - misc/ci-docker.sh misc/ci-local.sh
10 11

build:
12 13 14
  variables:
    COMPILER: system
  <<: *build_definition
15 16 17 18 19 20

build-4.03.0:
  variables:
    COMPILER: 4.03.0
  <<: *build_definition

21
build-4.04.2:
22
  variables:
23
    COMPILER: 4.04.2
24 25 26 27 28 29 30
  <<: *build_definition

build-4.05.0:
  variables:
    COMPILER: 4.05.0
  <<: *build_definition

31
build-4.06.1:
32
  variables:
33 34 35 36 37 38
    COMPILER: 4.06.1
  <<: *build_definition

build-4.07.0:
  variables:
    COMPILER: 4.07.0
39 40
  <<: *build_definition

41
bench:
42
  stage: test
43 44
  variables:
    COMPILER: system
45
  script:
46
    - misc/ci-docker.sh misc/ci-local.sh bench ide
47 48 49

.bench_template: &bench_definition
  stage: test
50
  script:
51
    - misc/ci-docker.sh misc/ci-local.sh bench ide
52 53 54 55 56 57 58 59 60
  only:
    - tags
    - schedules

bench-4.03.0:
  variables:
    COMPILER: 4.03.0
  <<: *bench_definition

61
bench-4.04.2:
62
  variables:
63
    COMPILER: 4.04.2
64 65 66 67 68 69 70
  <<: *bench_definition

bench-4.05.0:
  variables:
    COMPILER: 4.05.0
  <<: *bench_definition

71 72 73 74 75 76
bench-4.06.1:
  variables:
    COMPILER: 4.06.1
  <<: *bench_definition

bench-4.07.0:
77
  variables:
78
    COMPILER: 4.07.0
79
  <<: *bench_definition
80

81 82 83 84
full:
  stage: test
  variables:
    COMPILER: system
85 86
    DEBIAN_PACKAGES: hevea rubber texlive-latex-extra
    OPAM_PACKAGES: coq-flocq.2.6.1 js_of_ocaml-ppx
87
  script:
88
    - misc/ci-docker.sh misc/ci-local.sh bench ide doc
89

90 91
opam:
  stage: build
92 93
  variables:
    COMPILER: system
94
  script:
95
    - misc/ci-docker.sh misc/ci-opam.sh
96

97 98
deploy:
  stage: deploy
99
  script:
100
    - misc/ci-deploy.sh
101
  only:
102
    - master
Guillaume Melquiond's avatar
Guillaume Melquiond committed
103 104
    - /^bugfix[/]v[0-9.]*$/
    - tags