aboutsummaryrefslogtreecommitdiff
path: root/.travis.yml
AgeCommit message (Collapse)Author
2018-01-23Use travis_retry on apt-get updateJason Gross
Script modified from https://unix.stackexchange.com/questions/175146/apt-get-update-exit-status I stuck the code in "install" rather than "before_install" so that the lint target didn't need to be changed. I also haven't touched the targets that add more packages; I'll leave that to someone who knows more about the "&" and "*" syntax being used in the configuration.
2018-01-23Stop running duplicate Travis jobs on pull requests.Théo Zimmermann
These tests are already done by CircleCI.
2018-01-04Update the lower-bound of the lablgtk dependency.Théo Zimmermann
Closes #6509.
2017-12-21Fix CI with parallel make (messed up dependencies)Gaëtan Gilbert
When invoking through Makefile we always rebuild dependencies. To skip dependencies, invoke ci-wrapper directly. We make Circle CI do this. In order to properly support invoking ci-wrapper directly we replace "make" in ci-common by a bash function which adds -j to the make invocation outside submakes. We also set TIMED in the ci-wrapper.
2017-12-15Compatibility of the Coq macOS package with OS X 10.11.Théo Zimmermann
Travis has moved on to macOS 10.12 but this makes the package incompatible with earlier versions. This fix should restore the compatibility with OS X 10.11.
2017-11-28CI: use -byte-only in [warnings] jobs.Gaëtan Gilbert
This avoids mixing native and byte compilation as the debug printers are always byte compiled and the tools have no .byte rule, only the OCAMLBEST rule.
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
Due to an API change in laglgtk, we need to update CoqIDE. We use a makefile hack so it can compile with lablgtk < 2.8.16, another option would be to require 2.8.16 as a minimal dependency. We also refactor travis to test more lablgtk versions. We also need to account for improved attribute handling in 4.06.0, in particular module aliases will propagate the deprecation status. Fixes #6140.
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
We are still missing an updated LABLGTK.
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
We use git check-attr to look at the same files as git diff --check.
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
This reverts commit c7465d2ecb69e64613dd38b262f5e78ecad99de1.
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
IS is intended for testing nullity.
2017-10-07Revert "Switch Travis to OSX 10.12 and Xcode 8.3.3."Théo Zimmermann
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.
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
This is inconvenient because it can only be tested on tags and it didn't work for V8.7+beta1.
2017-10-03Remove GeoCoq from allowed failures.Théo Zimmermann
2017-09-25[doc] Update INSTALL to match reality.Emilio Jesus Gallego Arias
[c.f] https://coq.inria.fr/bugs/show_bug.cgi?id=4270
2017-09-21Do not run Travis OS X packaging job on PRsThéo Zimmermann
This job was useless anyway because the depoly and pre-deploy phases were not run.
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
Deployment doesn't work on PRs, so I have to push it directly, sorry for the noise.
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
The packages will be built only for main branches (not pull requests), and are accessible via bintray: https://bintray.com/coq/coq
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
This puts the boilerplate all in one place
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
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.
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
It shouldn't be failing.
2017-06-15Move Fiat to allowed failures.Maxime Dénès
For now, Fiat still relies on 8.4 compatibility.
2017-06-15Remove bedrock from test suite.Maxime Dénès
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.
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-28 21:55:05 +0000