aboutsummaryrefslogtreecommitdiff
path: root/.travis.yml
AgeCommit message (Expand)Author
2018-01-30Merge PR #6636: Stop running duplicate Travis jobs on pull requests.Maxime Dénès
2018-01-25Add a comment referencing travis issue numbersJason Gross
2018-01-23Delay installing packagesJason Gross
2018-01-23Use travis_retry on apt-get updateJason Gross
2018-01-23Stop running duplicate Travis jobs on pull requests.Théo Zimmermann
2018-01-04Update the lower-bound of the lablgtk dependency.Théo Zimmermann
2017-12-21Fix CI with parallel make (messed up dependencies)Gaëtan Gilbert
2017-12-15Compatibility of the Coq macOS package with OS X 10.11.Théo Zimmermann
2017-11-28CI: use -byte-only in [warnings] jobs.Gaëtan Gilbert
2017-11-28Travis: do not build stdlib in [warnings] jobs.Gaëtan Gilbert
2017-11-20Add Equations to CIMatthieu Sozeau
2017-11-13[ci] [coq] Complete 4.06.0 support.Emilio Jesus Gallego Arias
2017-11-13Merge PR #6071: [ci] Add Ltac2Maxime Dénès
2017-11-06Merge PR #1139: Add a linter.Maxime Dénès
2017-11-04[ci] Add Ltac2Jason Gross
2017-10-27[ocaml] [travis] Add preliminary 4.06 CI testing.Emilio Jesus Gallego Arias
2017-10-25Put linter at the top of the tests.Théo Zimmermann
2017-10-25Linter: check that files end with newlines.Gaëtan Gilbert
2017-10-25Add linter.Gaëtan Gilbert
2017-10-25Merge PR #5995: Revert "Add debug output to brew update."Maxime Dénès
2017-10-25Merge PR #5971: [travis] Add flambda testing.Maxime Dénès
2017-10-20Revert "Add debug output to brew update."Théo Zimmermann
2017-10-19rename ci-iris-coq -> ci-iris-lambda-rustRalf Jung
2017-10-18[travis] Add flambda testing.Emilio Jesus Gallego Arias
2017-10-10Merge PR #1140: Fix Travis OSX deploy conditional.Maxime Dénès
2017-10-09Fix Travis OSX deploy conditional.Gaëtan Gilbert
2017-10-07Revert "Switch Travis to OSX 10.12 and Xcode 8.3.3."Théo Zimmermann
2017-10-06Merge PR #1123: [ci] Remove deploy to GitHub of OS X package.Maxime Dénès
2017-10-05Merge PR #1093: [doc] Update INSTALL to match reality.Maxime Dénès
2017-10-05[ci] Remove deploy to GitHub of OS X package.Théo Zimmermann
2017-10-03Remove GeoCoq from allowed failures.Théo Zimmermann
2017-09-25[doc] Update INSTALL to match reality.Emilio Jesus Gallego Arias
2017-09-21Do not run Travis OS X packaging job on PRsThéo Zimmermann
2017-09-15Add debug output to brew update.Maxime Dénès
2017-09-15Switch Travis to OSX 10.12 and Xcode 8.3.3.Maxime Dénès
2017-08-31Merge PR #971: Don't allow coq-dpdgraph to failMaxime Dénès
2017-08-29Fix deployment to multiple providers.Maxime Dénès
2017-08-29Trying to fix deployment of master on bintray, and deploy tags to github.Maxime Dénès
2017-08-18Separate jobs for test-suite and package building under OSX.Maxime Dénès
2017-08-17Make Travis generate OSX packages.Maxime Dénès
2017-08-15Don't allow coq-dpdgraph to failJason Gross
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 03:01:21 +0000