aboutsummaryrefslogtreecommitdiffhomepage
path: root/.travis.yml
Commit message (Expand)AuthorAge
* travis: coq_makefile needs the tipa packageGravatar Enrico Tassi2017-05-23
* Travis: do not cache opam logs (+prettier spacing)Gravatar Gaetan Gilbert2017-05-19
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-05-17
|\
* | Travis: add -warn-error targets (standard and 4.04.1 ocaml)Gravatar Gaetan Gilbert2017-05-17
* | Travis: deduplicate package list for coqide+documentation targetsGravatar Gaetan Gilbert2017-05-17
* | Travis: do not run the tests if building Coq failsGravatar Gaetan Gilbert2017-05-17
* | [travis] Update OCaml to 4.04.1Gravatar Emilio Jesus Gallego Arias2017-05-13
* | [travis] Move VST to required suite.Gravatar Emilio Jesus Gallego Arias2017-05-13
| * Put .travis.yml in alphabetical orderGravatar Jason Gross2017-05-09
| * Add bmsherman/topology to the ciGravatar Jason Gross2017-05-01
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-04-27
|\|
* | [travis] Pin camlp5 to the minimal version 6.14 for 4.02.3Gravatar Emilio Jesus Gallego Arias2017-04-24
| * Add bedrock targets src and facadeGravatar Jason Gross2017-04-20
* | [travis] Add webhook to Gitter.Gravatar Théo Zimmermann2017-04-06
| * [travis] Backport from trunk: VSTGravatar Emilio Jesus Gallego Arias2017-03-24
* | [travis] Add VSTGravatar Emilio Jesus Gallego Arias2017-03-24
| * [travis] [8.6.only] Backport latest changes from trunk.Gravatar Emilio Jesus Gallego Arias2017-03-22
* | [ci] Document that sudo: false is slowerGravatar Tej Chajed2017-03-10
| * [travis] Move GeoCoq to allow fail.Gravatar Emilio Jesus Gallego Arias2017-03-10
* | [travis] Move GeoCoq to allow fail.Gravatar Emilio Jesus Gallego Arias2017-03-09
| * [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] [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