diff options
| author | Anton Trunov | 2019-11-21 12:46:56 +0300 |
|---|---|---|
| committer | Anton Trunov | 2020-01-07 21:03:22 +0300 |
| commit | 57e132f3e42fe73d7ee0a7d263b48246bc712b67 (patch) | |
| tree | 52dd0ce52514ce9fdb4b5b8c657a93e485f57b7a | |
| parent | c7fa2a1444d450bcebdeea47800fef1436690b6d (diff) | |
Add FCSL-PCM library to CI
FCSL-PCM is in Coq's CI, so this will prevent breaking Coq's CI, see
https://github.com/imdea-software/fcsl-pcm/issues/17
| -rw-r--r-- | .gitlab-ci.yml | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 5f02f42..2df217e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -373,6 +373,26 @@ ci-finmap-dev: variables: COQ_VERSION: "dev" +# The FCSL-PCM library +.ci-fcsl-pcm: + extends: .ci + variables: + CONTRIB_URL: "https://github.com/imdea-software/fcsl-pcm.git" + CONTRIB_VERSION: master + script: + - opam pin add -n -k path coq-fcsl-pcm . + - opam install -y -v -j "${NJOBS}" coq-fcsl-pcm + +ci-fcsl-pcm-8.10: + extends: .ci-fcsl-pcm + variables: + COQ_VERSION: "8.10" + +ci-fcsl-pcm-dev: + extends: .ci-fcsl-pcm + variables: + COQ_VERSION: "dev" + ################ ### deploy stage ################ |