aboutsummaryrefslogtreecommitdiff
path: root/.travis.yml
AgeCommit message (Expand)Author
2017-07-31Merge PR #746: Timing on ci via coq_makefile for various projectsMaxime Dénès
2017-07-28Merge PR #782: Update API for fiatMaxime Dénès
2017-07-21Alternate way of doing timing on ciJason Gross
2017-07-20Merge PR #877: Travis+4.05.0Maxime Dénès
2017-07-20Merge branch 'v8.7'Maxime Dénès
2017-07-13[travis] Update testing to 4.05.0 + Camlp5 7.01Emilio Jesus Gallego Arias
2017-07-11[travis] Display info on tested commit for PR builds.Théo Zimmermann
2017-07-08Also install gnu-time on travis on Mac OSXJason Gross
2017-06-30Fix OS X Travis by pinning OCaml version.Théo Zimmermann
2017-06-15Remove ci-fiat-parsers from allowed_failuresJason Gross
2017-06-15Move Fiat to allowed failures.Maxime Dénès
2017-06-15Remove bedrock from test suite.Maxime Dénès
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-28 16:24:43 +0000