diff options
| author | Erik Martin-Dorel | 2019-01-29 13:29:38 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2019-01-29 13:29:38 +0100 |
| commit | e5ff94165ab722bfb77d4437a58d49aacc81683d (patch) | |
| tree | 085d71f53ff53dc81ef4892957b4fae5fa3b2333 /plugin | |
| parent | 6a8472fd6b9a9a31514d71c2628e2f7cfc341eaa (diff) | |
Add more libraries to CI & Update local opam doc (#272)
* Update INSTALL.md for installing mathcomp as local opam packages
This patch documents the change 1046da99d22462d6aeb23dd12043c2537f47abf1
that was required by the GitLab CI setup to be able to rely on opam 2.0.
Close #251
* Propose to bump the required version of coq in coq-mathcomp-ssreflect.opam
so the CI could use the Docker image coqorg/coq:8.9 (which is already available
albeit it currently is a synonymous of coqorg/coq:8.9-beta1 with the opam repos
coq-released + coq-core-dev + coq-extra-dev)
* [ci] Add math-comp/odd-order and coq-community/lemma-overloading jobs
Related: math-comp/math-comp#245 and math-comp/math-comp#256
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions