aboutsummaryrefslogtreecommitdiffhomepage
path: root/.travis.yml
Commit message (Collapse)AuthorAge
* Merge PR #6636: Stop running duplicate Travis jobs on pull requests.Gravatar Maxime Dénès2018-01-30
|\
* | Add a comment referencing travis issue numbersGravatar Jason Gross2018-01-25
| |
* | Delay installing packagesGravatar Jason Gross2018-01-23
| | | | | | | | | | sudo apt-get install will fail on gcc-multilib if apt-get update cannot fetch launchpad, so instead we delay installing these packages.
* | Use travis_retry on apt-get updateGravatar Jason Gross2018-01-23
| | | | | | | | | | | | | | | | | | | | 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.
| * Stop running duplicate Travis jobs on pull requests.Gravatar Théo Zimmermann2018-01-23
|/ | | | These tests are already done by CircleCI.
* Update the lower-bound of the lablgtk dependency.Gravatar Théo Zimmermann2018-01-04
| | | | Closes #6509.
* Fix CI with parallel make (messed up dependencies)Gravatar Gaëtan Gilbert2017-12-21
| | | | | | | | | 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.
* Compatibility of the Coq macOS package with OS X 10.11.Gravatar Théo Zimmermann2017-12-15
| | | | | | 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.
* CI: use -byte-only in [warnings] jobs.Gravatar Gaëtan Gilbert2017-11-28
| | | | | | 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.
* 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
| | | | | | | | | | | | | 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.
* 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
| | | | | | | | We are still missing an updated LABLGTK.
| * 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
| | | | | | | | We use git check-attr to look at the same files as git diff --check.
| * 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
| |/ / |/| | | | | | | | This reverts commit c7465d2ecb69e64613dd38b262f5e78ecad99de1.
* | | 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
| |/ | | | | | | 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
| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 06:18:59 +0000