| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-05-29 | Remove support for Travis CI | Anton Trunov |
| 2018-10-25 | bump ocaml version in travis | Cyril Cohen |
| 2018-04-20 | travis: build against 8.6 -> 8.8 | Enrico Tassi |
| 2018-04-17 | move odd_order to its own repository | Enrico Tassi |
| 2018-02-27 | travis: disable Coq 8.5 | Enrico Tassi |
| 2017-09-07 | travis: also test Coq v8.7 | Enrico |
| 2017-07-13 | travis: trunk -> master | Enrico |
| 2017-02-07 | [travis] Make v8.5 build again | Emilio Jesus Gallego Arias |
| 2017-02-07 | [travis] Build 70% of FT proof. | Emilio Jesus Gallego Arias |
| 2017-02-07 | [travis] Improve parallelism in build (cf #88) | Emilio Jesus Gallego Arias |
| 2017-02-06 | [travis] Add initial Travis CI support. | Emilio Jesus Gallego Arias |
 |
index : coq-mathcomp | |
| Library of mathematical components formalized in Coq |
| aboutsummaryrefslogtreecommitdiff |
path: root/.travis.yml