-
Notifications
You must be signed in to change notification settings - Fork 4
/
.gitlab-ci.yml
37 lines (34 loc) · 1.2 KB
/
.gitlab-ci.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
stages:
- build
- diff
.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.17.1_iris-4.1.0_equations-1.3: {<<: *build, image: "ghcr.io/katamaran-project/coq:8.17.1_iris-4.1.0_equations-1.3"}
8.18.0_iris-4.1.0_equations-1.3: {<<: *build, image: "ghcr.io/katamaran-project/coq:8.18.0_iris-4.1.0_equations-1.3"}
# 8.18.0_iris-4.2.0_equations-1.3: {<<: *build, image: "ghcr.io/katamaran-project/coq:8.18.0_iris-4.2.0_equations-1.3"}
# 8.10.1_iris-4.2.0_equations-1.3: {<<: *build, image: "ghcr.io/katamaran-project/coq:8.19.1_iris-4.2.0_equations-1.3"}
#dev: {<<: *build, image: "ghcr.io/katamaran-project/coq:dev"}
pretty-timed-diff:
stage: diff
when: manual
image: "ghcr.io/katamaran-project/coq:8.18.0_iris-4.1.0_equations-1.3"
script:
- env
- make clean && rm -f time-of-build*.log
- make -j2 make-pretty-timed-after
- git reset --hard "$CI_COMMIT_BEFORE_SHA"
- make clean
- make -j2 make-pretty-timed-before
- make print-pretty-timed-diff