aboutsummaryrefslogtreecommitdiffhomepage
path: root/.travis.yml
Commit message (Expand)AuthorAge
* [travis] Move GeoCoq to allow fail.Gravatar Emilio Jesus Gallego Arias2017-03-09
* [travis] [External CI] fiat-parsersGravatar Emilio Jesus Gallego Arias2017-02-24
* [travis] [External CI] CompCert official 8.6 support + UniMathGravatar Emilio Jesus Gallego Arias2017-02-15
* [travis] [External CI] GeoCoqGravatar Emilio Jesus Gallego Arias2017-02-07
* [travis] Enable 32bit test-suite + validate.Gravatar Emilio Jesus Gallego Arias2017-02-07
* [travis] [External CI] C-Corn color coquelicot cpdt fiat-crypto floqc iris-co...Gravatar Emilio Jesus Gallego Arias2017-02-07
* [travis] [External CI] Script renaming.Gravatar Emilio Jesus Gallego Arias2017-02-07
* [travis] Improvements to main scriptGravatar Emilio Jesus Gallego Arias2017-02-07
* [travis] [External CI] compcert HoTT math-compGravatar Emilio Jesus Gallego Arias2017-02-07
* [travis] Run tests using a parallel matrix.Gravatar Emilio Jesus Gallego Arias2017-02-06
* [travis] : more apt deps + parallel jobs + non-container basedGravatar Pierre-Yves Strub2017-02-04
* [travis] CoqIde + doc + last available LSTGravatar Pierre-Yves Strub2017-02-04
* Travis CI configuration. Runs validate & test-suite.Gravatar Pierre-Yves Strub2017-02-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-28 23:56:25 +0000