Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add Equations to CI | 2017-11-20 | |
| | |||
* | [ci] [coq] Complete 4.06.0 support. | 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 | 2017-11-13 | |
|\ | |||
* \ | Merge PR #1139: Add a linter. | 2017-11-06 | |
|\ \ | |||
| | * | [ci] Add Ltac2 | 2017-11-04 | |
| |/ |/| | |||
* | | [ocaml] [travis] Add preliminary 4.06 CI testing. | 2017-10-27 | |
| | | | | | | | | We are still missing an updated LABLGTK. | ||
| * | Put linter at the top of the tests. | 2017-10-25 | |
| | | |||
| * | Linter: check that files end with newlines. | 2017-10-25 | |
| | | | | | | | | We use git check-attr to look at the same files as git diff --check. | ||
| * | Add linter. | 2017-10-25 | |
| | | |||
* | | Merge PR #5995: Revert "Add debug output to brew update." | 2017-10-25 | |
|\ \ | |||
* \ \ | Merge PR #5971: [travis] Add flambda testing. | 2017-10-25 | |
|\ \ \ | |||
| | * | | Revert "Add debug output to brew update." | 2017-10-20 | |
| |/ / |/| | | | | | | | | This reverts commit c7465d2ecb69e64613dd38b262f5e78ecad99de1. | ||
* | | | rename ci-iris-coq -> ci-iris-lambda-rust | 2017-10-19 | |
| | | | |||
| * | | [travis] Add flambda testing. | 2017-10-18 | |
|/ / | |||
* | | Merge PR #1140: Fix Travis OSX deploy conditional. | 2017-10-10 | |
|\ \ | |||
| * | | Fix Travis OSX deploy conditional. | 2017-10-09 | |
| |/ | | | | | | | IS is intended for testing nullity. | ||
* / | Revert "Switch Travis to OSX 10.12 and Xcode 8.3.3." | 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. | 2017-10-06 | |
|\ | |||
* \ | Merge PR #1093: [doc] Update INSTALL to match reality. | 2017-10-05 | |
|\ \ | |||
| | * | [ci] Remove deploy to GitHub of OS X package. | 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. | 2017-10-03 | |
| |/ |/| | |||
| * | [doc] Update INSTALL to match reality. | 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 | 2017-09-21 | |
|/ | | | | This job was useless anyway because the depoly and pre-deploy phases were not run. | ||
* | Add debug output to brew update. | 2017-09-15 | |
| | |||
* | Switch Travis to OSX 10.12 and Xcode 8.3.3. | 2017-09-15 | |
| | |||
* | Merge PR #971: Don't allow coq-dpdgraph to fail | 2017-08-31 | |
|\ | |||
* | | Fix deployment to multiple providers. | 2017-08-29 | |
| | | |||
* | | Trying to fix deployment of master on bintray, and deploy tags to github. | 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. | 2017-08-18 | |
| | | |||
* | | Make Travis generate OSX packages. | 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 | 2017-08-15 | |
|/ | |||
* | Merge PR #746: Timing on ci via coq_makefile for various projects | 2017-07-31 | |
|\ | |||
* \ | Merge PR #782: Update API for fiat | 2017-07-28 | |
|\ \ | |||
| | * | Alternate way of doing timing on ci | 2017-07-21 | |
| |/ |/| | | | | | This puts the boilerplate all in one place | ||
* | | Merge PR #877: Travis+4.05.0 | 2017-07-20 | |
|\ \ | |||
* \ \ | Merge branch 'v8.7' | 2017-07-20 | |
|\ \ \ | |||
| | * | | [travis] Update testing to 4.05.0 + Camlp5 7.01 | 2017-07-13 | |
| | | | | |||
* | | | | [travis] Display info on tested commit for PR builds. | 2017-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 OSX | 2017-07-08 | |
|/ / | |||
* | | Fix OS X Travis by pinning OCaml version. | 2017-06-30 | |
| | | |||
| * | Remove ci-fiat-parsers from allowed_failures | 2017-06-15 | |
|/ | | | | It shouldn't be failing. | ||
* | Move Fiat to allowed failures. | 2017-06-15 | |
| | | | | For now, Fiat still relies on 8.4 compatibility. | ||
* | Remove bedrock from test suite. | 2017-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 ./configure | 2017-06-14 | |
|\ | |||
* | | [travis] extra test ci-bignums (+factorize other scripts) | 2017-06-13 | |
| | | |||
| * | Normalize deprecation notices of ./configure | 2017-06-11 | |
| | | | | | | | | Always output a warning on stderr when a deprecated option is used. | ||
* | | Make coq-dpdgraph allow-fail | 2017-06-02 | |
| | | |||
* | | Add coq-dpdgraph CI | 2017-06-02 | |
|/ | |||
* | [travis] Add OSX test-suite checking. | 2017-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 package | 2017-05-23 | |
| |