aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.ci
Commit message (Expand)AuthorAge
* Fix CI with parallel make (messed up dependencies)Gravatar Gaëtan Gilbert2017-12-21
* Put bignums, math-classes and corn dependencies in MakefileGravatar Gaëtan Gilbert2017-12-13
* Add Equations to CIGravatar Matthieu Sozeau2017-11-20
* [ci] Add Ltac2Gravatar Jason Gross2017-11-04
* rename ci-iris-coq -> ci-iris-lambda-rustGravatar Ralf Jung2017-10-19
* Merge PR #968: Better error messages on the CIGravatar Maxime Dénès2017-09-07
|\
| * 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
* | Fix a typoGravatar Jason Gross2017-08-15
|/
* Alternate way of doing timing on ciGravatar Jason Gross2017-07-21
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-07-04
|\
| * Pass GNU Make jobserver on to the ci jobsGravatar Jason Gross2017-06-16
* | Remove bedrock from test suite.Gravatar Maxime Dénès2017-06-15
* | [travis] extra test ci-bignums (+factorize other scripts)Gravatar Pierre Letouzey2017-06-13
* | Add coq-dpdgraph CIGravatar Jason Gross2017-06-02
* | Reformat Makefile.ciGravatar Jason Gross2017-05-31
|/
* Add bmsherman/topology to the ciGravatar Jason Gross2017-05-01
* Add bedrock targets src and facadeGravatar Jason Gross2017-04-20
* [travis] Backport from trunk: VSTGravatar Emilio Jesus Gallego Arias2017-03-24
* [travis] [8.6.only] Backport latest changes from trunk.Gravatar Emilio Jesus Gallego Arias2017-03-22
* [travis] Backport trunk's travis support.Gravatar Emilio Jesus Gallego Arias2017-03-02