diff options
| author | Erik Martin-Dorel | 2019-03-22 03:39:46 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-04-16 15:42:52 +0200 |
| commit | c11764ca767ce6c306fef3892a78f0114e5e818c (patch) | |
| tree | e7f958d7914ef42f9a40414eb6758193d1729818 /docs/params.json | |
| parent | 76559870c8a81a9e3ba3f1242e60ff8e5f53c03a (diff) | |
[ci] Add tests with more libraries
- coq-mathcomp-odd-order.dev + coq.dev
- coq-mathcomp-bigenough.dev, coq-{8.7, 8.8, 8.9, dev}
- coq-mathcomp-finmap.dev, coq-{8.7, 8.8, 8.9, dev}
The configs below are commented-out as the upstream repos' opam is not
yet marked as compatible with mathcomp.dev (and Travis CI doesn't test
it with mathcomp-dev images)
# - coq-mathcomp-real-closed.dev, coq-{8.7, 8.8, 8.9, dev}
# - coq-mathcomp-analysis.dev, coq-{8.8, 8.9, dev}
Close math-comp/math-comp#245
Diffstat (limited to 'docs/params.json')
0 files changed, 0 insertions, 0 deletions