| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-05-29 | Remove support for Travis CI | Anton Trunov | |
| Mathcomp switched to Gitlab CI via coqbot, see here: https://github.com/math-comp/math-comp/pull/353#issuecomment-497017174 | |||
| 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 | |
| We also remove PFsection6 from build as it seems to be too close. | |||
| 2017-02-07 | [travis] Build 70% of FT proof. | Emilio Jesus Gallego Arias | |
| I'm afraid we cannot reliably build more with the 50 minutes timeout. | |||
| 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