aboutsummaryrefslogtreecommitdiff
path: root/Makefile.ci
AgeCommit message (Expand)Author
2018-06-27Add mit-plv/bedrock2-ci to CIAndres Erbsen
2018-06-02QuickChick CILeonidas Lampropoulos
2018-05-09[ci] Add mit-plv/cross-cryptoJason Gross
2018-05-06[ci] Add a default target to `Makefile.ci`Emilio Jesus Gallego Arias
2018-05-02[ci]: add pidetop (fix #7336)Enrico Tassi
2018-04-25updating CI for Mtac2Beta Ziliani
2018-04-20CI: add fcsl-pcmAnton Trunov
2018-02-27Update headers following #6543.Théo Zimmermann
2018-02-19ci: add elpiEnrico Tassi
2018-01-10Fix ci-all targetGaëtan Gilbert
2017-12-21Fix CI with parallel make (messed up dependencies)Gaëtan Gilbert
2017-12-13Put bignums, math-classes and corn dependencies in MakefileGaëtan Gilbert
2017-11-20Add Equations to CIMatthieu Sozeau
2017-11-04[ci] Add Ltac2Jason Gross
2017-10-19rename ci-iris-coq -> ci-iris-lambda-rustRalf Jung
2017-09-07Merge PR #968: Better error messages on the CIMaxime Dénès
2017-08-15Move the rest of the ci target to a bash fileJason Gross
2017-08-15Better error messages on the CIJason Gross
2017-08-15Fix a typoJason Gross
2017-07-21Alternate way of doing timing on ciJason Gross
2017-07-04Merge branch 'v8.6'Pierre-Marie Pédrot
2017-06-16Pass GNU Make jobserver on to the ci jobsJason Gross
2017-06-15Remove bedrock from test suite.Maxime Dénès
2017-06-13[travis] extra test ci-bignums (+factorize other scripts)Pierre Letouzey
2017-06-02Add coq-dpdgraph CIJason Gross
2017-05-31Reformat Makefile.ciJason Gross
2017-05-01Add bmsherman/topology to the ciJason Gross
2017-04-20Add bedrock targets src and facadeJason Gross
2017-03-24[travis] Backport from trunk: VSTEmilio Jesus Gallego Arias
2017-03-22[travis] [8.6.only] Backport latest changes from trunk.Emilio Jesus Gallego Arias
2017-03-02[travis] Backport trunk's travis support.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:36:31 +0000