diff options
| author | Cyril Cohen | 2020-06-08 16:47:10 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-06-08 16:48:55 +0200 |
| commit | 3b0c55c885a34ff7b4a4f461d548afe9277b76ad (patch) | |
| tree | 217a92742ad7d532d5681b4d292837d3bff20284 /mathcomp | |
| parent | ed58f3059881b6179ec36448d7d4f6d74030b686 (diff) | |
More CI
- fourcolor 8.11 and 8.12
- odd-order 8.11 and 8.12
- bigenough 8.11 and 8.12
- finmap 8.11 and 8.12
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions