aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ci
Commit message (Expand)AuthorAge
* [ci] Switch back to upstream version of Math-Classes and Corn.Gravatar Théo Zimmermann2017-10-27
* Merge PR #6003: Point HoTT back at master, which now supports Coq masterGravatar Maxime Dénès2017-10-25
|\
| * Point HoTT back at master, which now supports Coq masterGravatar Jason Gross2017-10-23
* | Switch testing branch back to CompCert upstream.Gravatar Théo Zimmermann2017-10-20
* | rename ci-iris-coq -> ci-iris-lambda-rustGravatar Ralf Jung2017-10-19
* | CI: build lambdaRust (which depends on Iris) rather than just IrisGravatar Ralf Jung2017-10-19
|/
* Merge PR #1067: Iris CI: use opam to install dependenciesGravatar Maxime Dénès2017-10-10
|\
* \ Merge PR #1117: [ci] Remove temporary bignums overlay.Gravatar Maxime Dénès2017-10-09
|\ \
| * | [ci] Remove temporary bignums overlay.Gravatar Théo Zimmermann2017-10-04
* | | Fix GeoCoq build by using a shared CI configure.Gravatar Théo Zimmermann2017-10-03
|/ /
* | Merge PR #1023: dev/build/windows/makecoq_mingw.sh: install camlp5's META fileGravatar Maxime Dénès2017-10-03
|\ \
| | * start counting at 0...Gravatar Ralf Jung2017-09-29
| | * Iris CI: use opam to determine std++ git commitGravatar Ralf Jung2017-09-29
| |/ |/|
* | In gitlab set TRAVIS_BRANCH so user overlays will work as expected.Gravatar Gaëtan Gilbert2017-09-20
* | Merge PR #979: Fix install-doc target and other gitlab failuresGravatar Maxime Dénès2017-09-15
|\ \
| * | Fix GitLab CIGravatar Gaëtan Gilbert2017-09-13
* | | Move README.ci and link to it from CONTRIBUTING.Gravatar Théo Zimmermann2017-09-08
* | | Merge PR #968: Better error messages on the CIGravatar Maxime Dénès2017-09-07
|\ \ \
* \ \ \ Merge PR #914: Making the detyper lazyGravatar Maxime Dénès2017-09-07
|\ \ \ \
| | | | * Trying to properly propagate errors in Windows CI script.Gravatar Maxime Dénès2017-09-07
| |_|_|/ |/| | |
* | | | Make AppVeyor generate Windows package.Gravatar Maxime Dénès2017-09-05
* | | | Fix Software Foundations build.Gravatar Maxime Dénès2017-09-05
| |_|/ |/| |
| * | Making detyping potentially lazy.Gravatar Pierre-Marie Pédrot2017-09-04
|/ /
| * Don't strip the newline, don't use \rGravatar Jason Gross2017-08-24
| * Swap order of "aggregating..." message and travis_foldGravatar Jason Gross2017-08-24
| * Only display travis_fold: on travisGravatar Jason Gross2017-08-24
| * Move the rest of the ci target to a bash fileGravatar Jason Gross2017-08-15
| * Better error messages on the CIGravatar Jason Gross2017-08-15
* | Have coq-dpdgraph ci test print the differencesGravatar Jason Gross2017-08-01
|/
* 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
| | * Separate make from python script for HoTTGravatar Jason Gross2017-07-21
| | * Display timing data travis for various projectsGravatar Jason Gross2017-07-21
| |/ |/|
* | [ci] VST is now built with IGNORECOQVERSION=true.Gravatar Théo Zimmermann2017-07-18
* | Merge PR #858: [travis] Remove CompCert version check hack.Gravatar Maxime Dénès2017-07-11
|\ \
| * | [travis] Remove CompCert version check hack.Gravatar Emilio Jesus Gallego Arias2017-07-05
* | | Revert fiat-crypto overlayGravatar Jason Gross2017-07-04
|/ /
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-07-04
|\ \
* \ \ Merge PR#779: Each user overlay goes into its own file.Gravatar Maxime Dénès2017-06-20
|\ \ \
| | * | Remove -j ${NJOBS} from make invocations in the ciGravatar Jason Gross2017-06-16
| | * | Fix ci-fiat-crypto to have a proper lite targetGravatar Jason Gross2017-06-16
| * | | Each user overlay goes into its own file.Gravatar Théo Zimmermann2017-06-16
* | | | Merge PR#778: Revert "[travis] temporary UniMath overlay"Gravatar Maxime Dénès2017-06-15
|\ \ \ \
| | | | * Update fiat-parsers overlayGravatar Jason Gross2017-06-15
| |_|_|/ |/| | |
* | | | Remove bedrock from test suite.Gravatar Maxime Dénès2017-06-15
| |/ / |/| |
* | | Merge PR#771: [travis overlay] Partially Revert 013c0232953f1f58Gravatar Maxime Dénès2017-06-14
|\ \ \
* | | | Temporary overlays because fewer plugins are loaded at startup.Gravatar Maxime Dénès2017-06-14
* | | | [travis] overlay for fiat-crypto (a Require Import FunInd)Gravatar Pierre Letouzey2017-06-14
* | | | [travis] overlays for CompCert and VST (an extra Require Export FunInd)Gravatar Pierre Letouzey2017-06-14