diff options
| author | Cyril Cohen | 2020-03-12 11:52:58 +0100 |
|---|---|---|
| committer | GitHub | 2020-03-12 11:52:58 +0100 |
| commit | d2443948206ddf78706add540c27341da4abc906 (patch) | |
| tree | 685d05780ade701d4e44b13f7e4c119f13f68956 | |
| parent | bf4ddf1894c6ac63dffae2bdad8f8c5300ba0954 (diff) | |
| parent | 53d9b14fd642e4b97f70c47c47bc8b243523dbbd (diff) | |
Merge pull request #465 from erikmd/coq-8.11
[ci] test-build and deploy mathcomp/mathcomp-dev:coq-8.11
| -rw-r--r-- | .gitlab-ci.yml | 11 | ||||
| -rw-r--r-- | coq-mathcomp-ssreflect.opam | 2 |
2 files changed, 12 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 930e9a4..8f628df 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -94,6 +94,9 @@ coq-8.9: coq-8.10: extends: .opam-build-once +coq-8.11: + extends: .opam-build-once + coq-dev: extends: .opam-build @@ -226,6 +229,11 @@ ci-lemma-overloading-8.10: variables: COQ_VERSION: "8.10" +ci-lemma-overloading-8.11: + extends: .ci-lemma-overloading + variables: + COQ_VERSION: "8.11" + ci-lemma-overloading-dev: extends: .ci-lemma-overloading variables: @@ -428,5 +436,8 @@ mathcomp-dev:coq-8.9: mathcomp-dev:coq-8.10: extends: .docker-deploy-once +mathcomp-dev:coq-8.11: + extends: .docker-deploy-once + mathcomp-dev:coq-dev: extends: .docker-deploy diff --git a/coq-mathcomp-ssreflect.opam b/coq-mathcomp-ssreflect.opam index 35f0997..d29b111 100644 --- a/coq-mathcomp-ssreflect.opam +++ b/coq-mathcomp-ssreflect.opam @@ -9,7 +9,7 @@ license: "CeCILL-B" build: [ make "-C" "mathcomp/ssreflect" "-j" "%{jobs}%" ] install: [ make "-C" "mathcomp/ssreflect" "install" ] -depends: [ "coq" { ((>= "8.7" & < "8.11~") | (= "dev"))} ] +depends: [ "coq" { ((>= "8.7" & < "8.12~") | (= "dev"))} ] tags: [ "keyword:small scale reflection" "keyword:mathematical components" "keyword:odd order theorem" "logpath:mathcomp.ssreflect" ] authors: [ "Jeremy Avigad <>" "Andrea Asperti <>" "Stephane Le Roux <>" "Yves Bertot <>" "Laurence Rideau <>" "Enrico Tassi <>" "Ioana Pasca <>" "Georges Gonthier <>" "Sidi Ould Biha <>" "Cyril Cohen <>" "Francois Garillot <>" "Alexey Solovyev <>" "Russell O'Connor <>" "Laurent Théry <>" "Assia Mahboubi <>" ] |