Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 | |
|\ \ \ | ||||
| | * | | [travis] Update testing to 4.05.0 + Camlp5 7.01 | Emilio Jesus Gallego Arias | 2017-07-13 | |
| | | | | ||||
* | | | | [travis] Display info on tested commit for PR builds. | Théo Zimmermann | 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 | Jason Gross | 2017-07-08 | |
|/ / | ||||
* | | Fix OS X Travis by pinning OCaml version. | Théo Zimmermann | 2017-06-30 | |
| | | ||||
| * | Remove ci-fiat-parsers from allowed_failures | Jason Gross | 2017-06-15 | |
|/ | | | | It shouldn't be failing. | |||
* | Move Fiat to allowed failures. | Maxime Dénès | 2017-06-15 | |
| | | | | For now, Fiat still relies on 8.4 compatibility. | |||
* | Remove bedrock from test suite. | Maxime Dénès | 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 | Maxime Dénès | 2017-06-14 | |
|\ | ||||
* | | [travis] extra test ci-bignums (+factorize other scripts) | Pierre Letouzey | 2017-06-13 | |
| | | ||||
| * | Normalize deprecation notices of ./configure | Théo Zimmermann | 2017-06-11 | |
| | | | | | | | | Always output a warning on stderr when a deprecated option is used. | |||
* | | Make coq-dpdgraph allow-fail | Jason Gross | 2017-06-02 | |
| | | ||||
* | | Add coq-dpdgraph CI | Jason Gross | 2017-06-02 | |
|/ | ||||
* | [travis] Add OSX test-suite checking. | Maxime Dénès | 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 | Enrico Tassi | 2017-05-23 | |
| | ||||
* | Travis: do not cache opam logs (+prettier spacing) | Gaetan Gilbert | 2017-05-19 | |
| | ||||
* | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2017-05-17 | |
|\ |