aboutsummaryrefslogtreecommitdiff
path: root/.travis.yml
AgeCommit message (Expand)Author
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-29 10:19:42 +0000