diff options
| author | Erik Martin-Dorel | 2020-03-08 16:07:38 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-03-08 17:00:28 +0100 |
| commit | 53d9b14fd642e4b97f70c47c47bc8b243523dbbd (patch) | |
| tree | 701ad3e4a0025e6a844785eb8cebcd6344052b9e | |
| parent | 3ae871fff2165c27b8bb389f1829766a4d6f00d9 (diff) | |
[ci] Build mathcomp/mathcomp-dev:8.11
and test coq-lemma-overloading accordingly.
| -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 <>" ] |