aboutsummaryrefslogtreecommitdiffhomepage
path: root/.travis.yml
Commit message (Expand)AuthorAge
* Compatibility of the Coq macOS package with OS X 10.11.Gravatar Théo Zimmermann2017-12-15
* CI: use -byte-only in [warnings] jobs.Gravatar Gaëtan Gilbert2017-11-28
* Travis: do not build stdlib in [warnings] jobs.Gravatar Gaëtan Gilbert2017-11-28
* Add Equations to CIGravatar Matthieu Sozeau2017-11-20
* [ci] [coq] Complete 4.06.0 support.Gravatar Emilio Jesus Gallego Arias2017-11-13
* Merge PR #6071: [ci] Add Ltac2Gravatar Maxime Dénès2017-11-13
|\
* \ Merge PR #1139: Add a linter.Gravatar Maxime Dénès2017-11-06
|\ \
| | * [ci] Add Ltac2Gravatar Jason Gross2017-11-04
| |/ |/|
* | [ocaml] [travis] Add preliminary 4.06 CI testing.Gravatar Emilio Jesus Gallego Arias2017-10-27
| * Put linter at the top of the tests.Gravatar Théo Zimmermann2017-10-25
| * Linter: check that files end with newlines.Gravatar Gaëtan Gilbert2017-10-25
| * Add linter.Gravatar Gaëtan Gilbert2017-10-25
* | Merge PR #5995: Revert "Add debug output to brew update."Gravatar Maxime Dénès2017-10-25
|\ \
* \ \ Merge PR #5971: [travis] Add flambda testing.Gravatar Maxime Dénès2017-10-25
|\ \ \
| | * | Revert "Add debug output to brew update."Gravatar Théo Zimmermann2017-10-20
| |/ / |/| |
* | | rename ci-iris-coq -> ci-iris-lambda-rustGravatar Ralf Jung2017-10-19
| * | [travis] Add flambda testing.Gravatar Emilio Jesus Gallego Arias2017-10-18
|/ /
* | Merge PR #1140: Fix Travis OSX deploy conditional.Gravatar Maxime Dénès2017-10-10
|\ \
| * | Fix Travis OSX deploy conditional.Gravatar Gaëtan Gilbert2017-10-09
| |/
* / Revert "Switch Travis to OSX 10.12 and Xcode 8.3.3."Gravatar Théo Zimmermann2017-10-07
|/
* Merge PR #1123: [ci] Remove deploy to GitHub of OS X package.Gravatar Maxime Dénès2017-10-06
|\
* \ Merge PR #1093: [doc] Update INSTALL to match reality.Gravatar Maxime Dénès2017-10-05
|\ \
| | * [ci] Remove deploy to GitHub of OS X package.Gravatar Théo Zimmermann2017-10-05
* | | Remove GeoCoq from allowed failures.Gravatar Théo Zimmermann2017-10-03
| |/ |/|
| * [doc] Update INSTALL to match reality.Gravatar Emilio Jesus Gallego Arias2017-09-25
* | 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