tilogics/.gitlab-ci.yml at main · decrn/tilogics · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
stages:
  - build

.build: &build
  stage: build
  script:
    - opam list | grep coq
    - make Makefile.coq
    - make -j$(nproc) -f Makefile.coq pretty-timed
  cache:
    key: "$CI_JOB_NAME"
    paths:
      - "**/*.glob"
      - "**/*.vo*"
      - "**/.*.aux"
      - ".*.cache"
      - "_build"

"8.16.1-iris41":   {<<: *build, image: "ghcr.io/katamaran-project/coq:8.16.1_iris-4.1.0_equations-1.3"}
"8.17.1-iris41":   {<<: *build, image: "ghcr.io/katamaran-project/coq:8.17.1_iris-4.1.0_equations-1.3"}
"8.18.0-iris41":   {<<: *build, image: "ghcr.io/katamaran-project/coq:8.18.0_iris-4.1.0_equations-1.3"}
"8.18.0-iris42":   {<<: *build, image: "ghcr.io/katamaran-project/coq:8.18.0_iris-4.2.0_equations-1.3"}
"8.19.2-iris42":   {<<: *build, image: "ghcr.io/katamaran-project/coq:8.19.2_iris-4.2.0_equations-1.3"}