aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ci
Commit message (Expand)AuthorAge
...
| * [travis] Backport trunk's travis support.Gravatar Emilio Jesus Gallego Arias2017-03-02
* [travis] [External CI] fiat-parsersGravatar Emilio Jesus Gallego Arias2017-02-24
* [travis] track an 8.7 specific branch of HoTT.Gravatar Maxime Dénès2017-02-21
* [travis] [External CI] CompCert official 8.6 support + UniMathGravatar Emilio Jesus Gallego Arias2017-02-15
* [travis] [External CI] Factor out math-comp installs.Gravatar Emilio Jesus Gallego Arias2017-02-15
* Merge PR#425: [travis] [External CI] [geocoq] don't build slow fileGravatar Maxime Dénès2017-02-07
|\
| * [travis] [External CI] [geocoq] don't build slow fileGravatar Emilio Jesus Gallego Arias2017-02-07
* | [travis] [External CI] iris-coq: fix dependenciesGravatar Emilio Jesus Gallego Arias2017-02-07
|/
* [travis] [External CI] GeoCoqGravatar Emilio Jesus Gallego Arias2017-02-07
* [travis] Move ci files from `tools` to `dev`.Gravatar Maxime Dénès2017-02-07