aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ci
Commit message (Expand)AuthorAge
* Make AppVeyor generate Windows package.Gravatar Maxime Dénès2017-09-05
* Fix Software Foundations build.Gravatar Maxime Dénès2017-09-05
* 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
* | | | [travis] fix Software Foundation (one added Require Extraction)Gravatar Pierre Letouzey2017-06-14
* | | | [travis] fix CoLoR by inserting some Require Import FunIndGravatar Pierre Letouzey2017-06-14
* | | | Temporary overlays for bignums.Gravatar Maxime Dénès2017-06-14
| | * | Revert "[travis] temporary UniMath overlay"Gravatar Théo Zimmermann2017-06-13
* | | | [travis] overlay for cornGravatar Pierre Letouzey2017-06-13
* | | | [travis] extra test ci-bignums (+factorize other scripts)Gravatar Pierre Letouzey2017-06-13
* | | | [travis] overlay + extra deps for math-classes (and formal-topology)Gravatar Pierre Letouzey2017-06-13
* | | | [travis] adapt CoLoR compilation to depend on the bignum packageGravatar Pierre Letouzey2017-06-13
| |/ / |/| |
* | | Merge PR#764: Point ci-hott at a newer version of HoTTGravatar Maxime Dénès2017-06-13
|\ \ \
* \ \ \ Merge PR#715: Add coq-dpdgraph ciGravatar Maxime Dénès2017-06-12
|\ \ \ \
| | | * | [travis overlay] Partially Revert 013c0232953f1f58Gravatar Jason Gross2017-06-12
| |_|/ / |/| | |
* | | | Temporary overlay, waiting for upstream PR merges.Gravatar Maxime Dénès2017-06-12
* | | | add overlaysGravatar Matej Košík2017-06-12
| | * | Point ci-hott at a newer version of HoTTGravatar Jason Gross2017-06-11
| |/ / |/| |
| * | Mirror dpdgraph's travis test more accuratelyGravatar Jason Gross2017-06-08
| * | Remove coq-dpdgraph overlayGravatar Jason Gross2017-06-08
* | | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-06-08
|\ \ \ | | |/ | |/|
* | | Remove overlay.Gravatar Maxime Dénès2017-06-08
* | | add overlaysGravatar Matej Košík2017-06-07
* | | Overlay.Gravatar Maxime Dénès2017-06-06
* | | Remove some overlays.Gravatar Maxime Dénès2017-06-06
* | | Overlays.Gravatar Maxime Dénès2017-06-06
* | | Merge PR#723: [travis] [fiat] Test also fiat-core.Gravatar Maxime Dénès2017-06-06
|\ \ \
| | | * Add an overlay for coq-dpdgraph for 8.7Gravatar Jason Gross2017-06-02
| | | * Add coq-dpdgraph CIGravatar Jason Gross2017-06-02
| * | | [travis] [fiat] Test also fiat-core.Gravatar Emilio Jesus Gallego Arias2017-06-02
| | |/ | |/|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 16:30:50 +0000