aboutsummaryrefslogtreecommitdiffhomepage
path: root/.travis.yml
Commit message (Expand)AuthorAge
* Do not run Travis OS X packaging job on PRsGravatar Théo Zimmermann2017-09-21
* Add debug output to brew update.Gravatar Maxime Dénès2017-09-15
* Switch Travis to OSX 10.12 and Xcode 8.3.3.Gravatar Maxime Dénès2017-09-15
* Merge PR #971: Don't allow coq-dpdgraph to failGravatar Maxime Dénès2017-08-31
|\
* | Fix deployment to multiple providers.Gravatar Maxime Dénès2017-08-29
* | Trying to fix deployment of master on bintray, and deploy tags to github.Gravatar Maxime Dénès2017-08-29
* | Separate jobs for test-suite and package building under OSX.Gravatar Maxime Dénès2017-08-18
* | Make Travis generate OSX packages.Gravatar Maxime Dénès2017-08-17
| * Don't allow coq-dpdgraph to failGravatar Jason Gross2017-08-15
|/
* Merge PR #746: Timing on ci via coq_makefile for various projectsGravatar Maxime Dénès2017-07-31
|\
* \ Merge PR #782: Update API for fiatGravatar Maxime Dénès2017-07-28
|\ \
| | * Alternate way of doing timing on ciGravatar Jason Gross2017-07-21
| |/ |/|
* | Merge PR #877: Travis+4.05.0Gravatar Maxime Dénès2017-07-20
|\ \
* \ \ Merge branch 'v8.7'Gravatar Maxime Dénès2017-07-20
|\ \ \
| | * | [travis] Update testing to 4.05.0 + Camlp5 7.01Gravatar Emilio Jesus Gallego Arias2017-07-13
* | | | [travis] Display info on tested commit for PR builds.Gravatar Théo Zimmermann2017-07-11
| |/ / |/| |
| * | Also install gnu-time on travis on Mac OSXGravatar Jason Gross2017-07-08
|/ /
* | Fix OS X Travis by pinning OCaml version.Gravatar Théo Zimmermann2017-06-30
| * Remove ci-fiat-parsers from allowed_failuresGravatar Jason Gross2017-06-15
|/
* Move Fiat to allowed failures.Gravatar Maxime Dénès2017-06-15
* Remove bedrock from test suite.Gravatar Maxime Dénès2017-06-15
* Merge PR#749: Normalize deprecation notices of ./configureGravatar Maxime Dénès2017-06-14
|\
* | [travis] extra test ci-bignums (+factorize other scripts)Gravatar Pierre Letouzey2017-06-13
| * Normalize deprecation notices of ./configureGravatar Théo Zimmermann2017-06-11
* | Make coq-dpdgraph allow-failGravatar Jason Gross2017-06-02
* | Add coq-dpdgraph CIGravatar Jason Gross2017-06-02
|/
* [travis] Add OSX test-suite checking.Gravatar Maxime Dénès2017-06-01
* 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