aboutsummaryrefslogtreecommitdiff
path: root/Makefile.ci
AgeCommit message (Expand)Author
2019-05-07Remove ppedrot/ltac2 from CI after integration in main repoGaëtan Gilbert
2019-04-24[coq_makefile] Enforce warn_error for plugins.Emilio Jesus Gallego Arias
2019-03-31CI: add mit-pdos/argosyTej Chajed
2019-03-05[CI] Add stdlib2Vincent Laporte
2019-02-12[tactics] Remove dependency of abstract on global proof state.Emilio Jesus Gallego Arias
2019-01-08Integrate plugin tutorial after code importGaëtan Gilbert
2019-01-07Merge PR #9309: [ci] Add Verdi Raft with dependencies to CIEmilio Jesus Gallego Arias
2019-01-05[ci] Add Verdi Raft with dependencies to CIKarl Palmskog
2019-01-04Remove formal-topology from CIMaxime Dénès
2018-12-17simple-io now depends on ext-libGaëtan Gilbert
2018-12-09add relation-algebra to CI test suiteChristian Doczkal
2018-11-21Remove pidetop from CIMaxime Dénès
2018-11-17[ci] Uniformize casing of makefile targets and ci variables.Emilio Jesus Gallego Arias
2018-11-13Merge PR #8976: CoqHammer CIGaëtan Gilbert
2018-11-12CoqHammer CILukasz Czajka
2018-11-10[ci] Add paramcoq to CI.Emilio Jesus Gallego Arias
2018-10-08[ci] Add aac-tactics.Théo Zimmermann
2018-10-02[ci] [travis] Remove CI contrib testing from Travis.Emilio Jesus Gallego Arias
2018-10-01[ci] Add plugin-tutorial to CI.Emilio Jesus Gallego Arias
2018-08-31[ci] Fix QuickChick by adding new simple-io dependency.Théo Zimmermann
2018-08-24Split up fiat-crypto CI into two targetsJason Gross
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:26:40 +0000