aboutsummaryrefslogtreecommitdiff
path: root/Makefile.ci
AgeCommit message (Expand)Author
2021-04-21Add mczify to CIKazuhiko Sakaguchi
2021-03-14[ci] [gitlab] Remove ad-hoc mathcomp install macrosEmilio Jesus Gallego Arias
2021-03-11Add deriving lib to CI.Arthur Azevedo de Amorim
2020-11-30[ci] add job for gappaEnrico Tassi
2020-11-26[ci] coquelicot, depend on ssr properEnrico Tassi
2020-11-26[ci] separate oddorder and fourcolor from mathcompEnrico Tassi
2020-11-26[ci] add job for intervalEnrico Tassi
2020-11-25[ci] make compcert use flocq and menhirEnrico Tassi
2020-09-02CI: build Iris examples instead of lambda-RustRalf Jung
2020-07-21Add Coqtail to CIwhonore
2020-06-24Add back fiat-crypto-legacy to the CIJason Gross
2020-06-23[ci] Add coq-community/coq-performance-testsJason Gross
2020-05-31[ci] Split fiat-crypto into non-OCaml and OCamlJason Gross
2020-05-19[ci] Add mit-plv/engine-benchJason Gross
2020-04-30renaming in Makefile.ci and ci scripts to avoid inconsistenciesOlivier Laurent
2020-04-27[ci] Add coq-tools to the CIJason Gross
2020-04-21Fix VST after PrincetonUniversity/VST#402Gaëtan Gilbert
2020-03-26[ci] Add bbvJason Gross
2020-03-23[ci] add metacoqMatthieu Sozeau
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-02-12Split unicoq out of ci-mtac2.sh (keeping 1 CI job)Gaëtan Gilbert
2020-02-11Remove fiat-crypto-legacy from CIMaxime Dénès
2020-02-02[ci] [fiat-crypto] Use the pinned bedrock2Jason Gross
2020-01-28Add reduction-effects to the CIJason Gross
2019-11-27[ci] Split out the dependencies of fiat-cryptoJason Gross
2019-11-21add tlc to ci; please proof read very carefully and test. thankscharguer
2019-09-20[ci] Add mit-pdos/perennialTej Chajed
2019-08-20[ci] Remove dead code.Théo Zimmermann
2019-06-17Update py-style headers to new year.Théo Zimmermann
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:56:08 +0000