Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix failing packaging job. | Théo Zimmermann | 2018-03-05 |
| | | | | | | | | gtksourceview depends transitively on py2cairo which was updated in Homebrew to depend explicitly on python2 (see Homebrew/homebrew-core#24714): this makes the python3 install step impossible. We also remove the libxml2 install step which was failing in a non-fatal way. | ||
* | travis: elpi needs findlib >= 1.5 | Enrico Tassi | 2018-02-28 |
| | |||
* | tavis: make the . in pkg.version part of $VERSION | Enrico Tassi | 2018-02-28 |
| | |||
* | ci: add elpi | Enrico Tassi | 2018-02-19 |
| | |||
* | Merge PR #6636: Stop running duplicate Travis jobs on pull requests. | Maxime Dénès | 2018-01-30 |
|\ | |||
* | | Add a comment referencing travis issue numbers | Jason Gross | 2018-01-25 |
| | | |||
* | | Delay installing packages | Jason Gross | 2018-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 update | Jason Gross | 2018-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. | Théo Zimmermann | 2018-01-23 |
|/ | | | | These tests are already done by CircleCI. | ||
* | Update the lower-bound of the lablgtk dependency. | Théo Zimmermann | 2018-01-04 |
| | | | | Closes #6509. | ||
* | Fix CI with parallel make (messed up dependencies) | Gaëtan Gilbert | 2017-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. | Théo Zimmermann | 2017-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. | Gaëtan Gilbert | 2017-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. | Gaëtan Gilbert | 2017-11-28 |
| | |||
* | Add Equations to CI | Matthieu Sozeau | 2017-11-20 |
| | |||
* | [ci] [coq] Complete 4.06.0 support. | Emilio Jesus Gallego Arias | 2017-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 Ltac2 | Maxime Dénès | 2017-11-13 |
|\ | |||
* \ | Merge PR #1139: Add a linter. | Maxime Dénès | 2017-11-06 |
|\ \ | |||
| | * | [ci] Add Ltac2 | Jason Gross | 2017-11-04 |
| |/ |/| | |||
* | | [ocaml] [travis] Add preliminary 4.06 CI testing. | Emilio Jesus Gallego Arias | 2017-10-27 |
| | | | | | | | | We are still missing an updated LABLGTK. | ||
| * | Put linter at the top of the tests. | Théo Zimmermann | 2017-10-25 |
| | | |||
| * | Linter: check that files end with newlines. | Gaëtan Gilbert | 2017-10-25 |
| | | | | | | | | We use git check-attr to look at the same files as git diff --check. | ||
| * | Add linter. | Gaëtan Gilbert | 2017-10-25 |
| | | |||
* | | Merge PR #5995: Revert "Add debug output to brew update." | Maxime Dénès | 2017-10-25 |
|\ \ | |||
* \ \ | Merge PR #5971: [travis] Add flambda testing. | Maxime Dénès | 2017-10-25 |
|\ \ \ | |||
| | * | | Revert "Add debug output to brew update." | Théo Zimmermann | 2017-10-20 |
| |/ / |/| | | | | | | | | This reverts commit c7465d2ecb69e64613dd38b262f5e78ecad99de1. | ||
* | | | rename ci-iris-coq -> ci-iris-lambda-rust | Ralf Jung | 2017-10-19 |
| | | | |||
| * | | [travis] Add flambda testing. | Emilio Jesus Gallego Arias | 2017-10-18 |
|/ / | |||
* | | Merge PR #1140: Fix Travis OSX deploy conditional. | Maxime Dénès | 2017-10-10 |
|\ \ | |||
| * | | Fix Travis OSX deploy conditional. | Gaëtan Gilbert | 2017-10-09 |
| |/ | | | | | | | IS is intended for testing nullity. | ||
* / | Revert "Switch Travis to OSX 10.12 and Xcode 8.3.3." | Théo Zimmermann | 2017-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. | Maxime Dénès | 2017-10-06 |
|\ | |||
* \ | Merge 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 | 2017-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. | Théo Zimmermann | 2017-10-03 |
| |/ |/| | |||
| * | [doc] Update INSTALL to match reality. | Emilio Jesus Gallego Arias | 2017-09-25 |
| | | | | | | | | [c.f] https://coq.inria.fr/bugs/show_bug.cgi?id=4270 | ||
* | | Do not run Travis OS X packaging job on PRs | Théo Zimmermann | 2017-09-21 |
|/ | | | | This job was useless anyway because the depoly and pre-deploy phases were not run. | ||
* | Add debug output to brew update. | Maxime Dénès | 2017-09-15 |
| | |||
* | Switch Travis to OSX 10.12 and Xcode 8.3.3. | Maxime Dénès | 2017-09-15 |
| | |||
* | Merge PR #971: Don't allow coq-dpdgraph to fail | Maxime Dénès | 2017-08-31 |
|\ | |||
* | | Fix deployment to multiple providers. | Maxime Dénès | 2017-08-29 |
| | | |||
* | | Trying to fix deployment of master on bintray, and deploy tags to github. | Maxime Dénès | 2017-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. | Maxime Dénès | 2017-08-18 |
| | | |||
* | | Make Travis generate OSX packages. | Maxime Dénès | 2017-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 fail | Jason Gross | 2017-08-15 |
|/ | |||
* | Merge PR #746: Timing on ci via coq_makefile for various projects | Maxime Dénès | 2017-07-31 |
|\ | |||
* \ | Merge PR #782: Update API for fiat | Maxime Dénès | 2017-07-28 |
|\ \ | |||
| | * | Alternate way of doing timing on ci | Jason Gross | 2017-07-21 |
| |/ |/| | | | | | This puts the boilerplate all in one place | ||
* | | Merge PR #877: Travis+4.05.0 | Maxime Dénès | 2017-07-20 |
|\ \ | |||
* \ \ | Merge branch 'v8.7' | Maxime Dénès | 2017-07-20 |
|\ \ \ |