diff options
| author | Enrico Tassi | 2020-01-09 10:09:12 +0100 |
|---|---|---|
| committer | GitHub | 2020-01-09 10:09:12 +0100 |
| commit | 156e5141fc36cfca6100c9f2b3841e566ed06f11 (patch) | |
| tree | 52dd0ce52514ce9fdb4b5b8c657a93e485f57b7a | |
| parent | c7fa2a1444d450bcebdeea47800fef1436690b6d (diff) | |
| parent | 57e132f3e42fe73d7ee0a7d263b48246bc712b67 (diff) | |
Merge pull request #435 from anton-trunov/add-fcsl-pcm-to-ci
Add FCSL-PCM library to CI
| -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 ################ |