aboutsummaryrefslogtreecommitdiff
path: root/.travis.yml
AgeCommit message (Expand)Author
2017-06-14Merge PR#749: Normalize deprecation notices of ./configureMaxime Dénès
2017-06-13[travis] extra test ci-bignums (+factorize other scripts)Pierre Letouzey
2017-06-11Normalize deprecation notices of ./configureThéo Zimmermann
2017-06-02Make coq-dpdgraph allow-failJason Gross
2017-06-02Add coq-dpdgraph CIJason Gross
2017-06-01[travis] Add OSX test-suite checking.Maxime Dénès
2017-05-23travis: coq_makefile needs the tipa packageEnrico Tassi
2017-05-19Travis: do not cache opam logs (+prettier spacing)Gaetan Gilbert
2017-05-17Merge branch 'v8.6'Pierre-Marie Pédrot
2017-05-17Travis: add -warn-error targets (standard and 4.04.1 ocaml)Gaetan Gilbert
2017-05-17Travis: deduplicate package list for coqide+documentation targetsGaetan Gilbert
2017-05-17Travis: do not run the tests if building Coq failsGaetan Gilbert
2017-05-13[travis] Update OCaml to 4.04.1Emilio Jesus Gallego Arias
2017-05-13[travis] Move VST to required suite.Emilio Jesus Gallego Arias
2017-05-09Put .travis.yml in alphabetical orderJason Gross
2017-05-01Add bmsherman/topology to the ciJason Gross
2017-04-27Merge branch 'v8.6'Pierre-Marie Pédrot
2017-04-24[travis] Pin camlp5 to the minimal version 6.14 for 4.02.3Emilio Jesus Gallego Arias
2017-04-20Add bedrock targets src and facadeJason Gross
2017-04-06[travis] Add webhook to Gitter.Théo Zimmermann
2017-03-24[travis] Backport from trunk: VSTEmilio Jesus Gallego Arias
2017-03-24[travis] Add VSTEmilio Jesus Gallego Arias
2017-03-22[travis] [8.6.only] Backport latest changes from trunk.Emilio Jesus Gallego Arias
2017-03-10[ci] Document that sudo: false is slowerTej Chajed
2017-03-10[travis] Move GeoCoq to allow fail.Emilio Jesus Gallego Arias
2017-03-09[travis] Move GeoCoq to allow fail.Emilio Jesus Gallego Arias
2017-03-02[travis] Backport trunk's travis support.Emilio Jesus Gallego Arias
2017-02-24[travis] [External CI] fiat-parsersEmilio Jesus Gallego Arias
2017-02-15[travis] [External CI] CompCert official 8.6 support + UniMathEmilio Jesus Gallego Arias
2017-02-07[travis] [External CI] GeoCoqEmilio Jesus Gallego Arias
2017-02-07[travis] Enable 32bit test-suite + validate.Emilio Jesus Gallego Arias
2017-02-07[travis] [External CI] C-Corn color coquelicot cpdt fiat-crypto floqc iris-co...Emilio Jesus Gallego Arias
2017-02-07[travis] [External CI] Script renaming.Emilio Jesus Gallego Arias
2017-02-07[travis] Improvements to main scriptEmilio Jesus Gallego Arias
2017-02-07[travis] [External CI] compcert HoTT math-compEmilio Jesus Gallego Arias
2017-02-06[travis] Run tests using a parallel matrix.Emilio Jesus Gallego Arias
2017-02-04[travis] : more apt deps + parallel jobs + non-container basedPierre-Yves Strub
2017-02-04[travis] CoqIde + doc + last available LSTPierre-Yves Strub
2017-02-03Travis CI configuration. Runs validate & test-suite.Pierre-Yves Strub
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-10 04:01:12 +0000