aboutsummaryrefslogtreecommitdiffhomepage
path: root/.travis.yml
Commit message (Collapse)AuthorAge
* rename ci-iris-coq -> ci-iris-lambda-rustGravatar Ralf Jung2017-10-19
|
* 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
| | | | | | | | IS is intended for testing nullity.
* | Revert "Switch Travis to OSX 10.12 and Xcode 8.3.3."Gravatar Théo Zimmermann2017-10-07
|/ | | | | | This reverts commit 587e556a909fcd2e1507a9230d9cdaffa3f9394e from PR #1024. This commit did not solve any issue at the time it was merged but made the macOS package we produce compatible only with macOS 10.12 and later.
* 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
| | | | | | | | | | | | | | | This is inconvenient because it can only be tested on tags and it didn't work for V8.7+beta1.
* | | Remove GeoCoq from allowed failures.Gravatar Théo Zimmermann2017-10-03
| |/ |/|
| * [doc] Update INSTALL to match reality.Gravatar Emilio Jesus Gallego Arias2017-09-25
| | | | | | | | [c.f] https://coq.inria.fr/bugs/show_bug.cgi?id=4270
* | Do not run Travis OS X packaging job on PRsGravatar Théo Zimmermann2017-09-21
|/ | | | This job was useless anyway because the depoly and pre-deploy phases were not run.
* 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
| | | | | | | | | | Deployment doesn't work on PRs, so I have to push it directly, sorry for the noise.
* | 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
| | | | | | | | | | The packages will be built only for main branches (not pull requests), and are accessible via bintray: https://bintray.com/coq/coq
| * 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
| |/ |/| | | | | This puts the boilerplate all in one place
* | 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
| |/ / |/| | | | | | | | | | | | | | This is made necessary by the fact that the displayed commit in the header of the build can be outdated if the build was restarted or took a long time to start. Sometimes, it is so old that the link to GitHub is a 404.
| * | 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
|/ | | | It shouldn't be failing.
* Move Fiat to allowed failures.Gravatar Maxime Dénès2017-06-15
| | | | For now, Fiat still relies on 8.4 compatibility.
* Remove bedrock from test suite.Gravatar Maxime Dénès2017-06-15
| | | | | | Bedrock relies on the 8.4 compat flag that we are removing, and we heard from MIT that they did not plan to port bedrock to more recent versions of Coq.
* 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
| | | | | | | | Always output a warning on stderr when a deprecated option is used.
* | 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
| | | | | | This is a first step towards getting Travis build our OSX package, but is also useful immediately (c.f. the recent breakage of the coq_makefile test-suite under OSX).
* 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
| | | | | | | | | | This development of @bmsherman tests universe polymorphism and setoid rewriting in type, and should build with v8.6 and trunk.
* | 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
| | | | | | | | | | | | | | | | | | | | | | | | | | | | We now test: - 4.02.3 + 6.14 [and 32bits of those] - 4.04.0 + 6.17 this looks like what the official support set should be for 8.7, given that both Ubuntu and Debian will ship the first, then switch to the latter. We also pin xmlm to version 1.2.0 to workaround bug https://github.com/ocaml/opam-repository/issues/8815
| * Add bedrock targets src and facadeGravatar Jason Gross2017-04-20
| |
* | [travis] Add webhook to Gitter.Gravatar Théo Zimmermann2017-04-06
| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 22:47:03 +0000