aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/ci-basic-overlay.sh
AgeCommit message (Expand)Author
2019-05-10Merge PR #9854: Improve field_simplify on fractions with constant denominatorMichael Soegtrop
2019-05-09Switched Coquelicot CI URLs from INRIA gforge to INRIA gitlabMichael Soegtrop
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-04-01[CI] Coquelicot: use “master” development versionVincent Laporte
2019-03-31CI: add mit-pdos/argosyTej Chajed
2019-03-28Use only lowercase for unimath in CI scriptsGaëtan Gilbert
2019-03-05[CI] Add stdlib2Vincent Laporte
2019-02-04the default branch of Mtac2 changed to masterbeta
2019-01-11Merge pull request #8778 from SkySkimmer/merge-plugin-tutoYves Bertot
2019-01-08[ci] Update fiat-crypto legacyJason Gross
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-09fix copy-paste error in CI_ARCHIVEURLChristian Doczkal
2018-12-09add relation-algebra to CI test suiteChristian Doczkal
2018-12-05[ci] Add four color theorem proof to CIEmilio Jesus Gallego Arias
2018-12-04CI: track dev branch of coq-simple-ioYishuai Li
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-26Revert "[ci] Pin CI_REF to plugin_tutorial to use not yet merged commit."Gaëtan Gilbert
2018-10-18[ci] Pin CI_REF to plugin_tutorial to use not yet merged commit.Théo Zimmermann
2018-10-08[ci] Add aac-tactics.Théo Zimmermann
2018-10-05CI: fix Iris and stdpp ref selectionGaëtan Gilbert
2018-10-03Fix issue #8321 "Add more useful addons to the Windows Installer"Michael Soegtrop
2018-10-01[ci] Add plugin-tutorial to CI.Emilio Jesus Gallego Arias
2018-08-31Download tarball instead of cloning external projects (when $CI is set).Théo Zimmermann
2018-08-31[ci] Fix QuickChick by adding new simple-io dependency.Théo Zimmermann
2018-06-27Add mit-plv/bedrock2-ci to CIAndres Erbsen
2018-06-25Reuse CI info to know which version of plugins to build on Windows.Théo Zimmermann
2018-06-21Update dpdgraph branch nameGaëtan Gilbert
2018-06-02QuickChick CILeonidas Lampropoulos
2018-05-16[ci] Don't build lite versions of CI developments.Emilio Jesus Gallego Arias
2018-05-09[ci] Add mit-plv/cross-cryptoJason Gross
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-04-13Update the CI branch for Equations.Théo Zimmermann
2018-02-19ci: add elpiEnrico Tassi
2018-02-05Points to Flocq official repository.Théo Zimmermann
2018-01-16Source basic overlay before user overlays.Gaëtan Gilbert
2017-12-07[ci] CoLoR has moved to githubEmilio Jesus Gallego Arias
2017-11-20Add Equations to CIMatthieu Sozeau
2017-11-13Merge PR #6071: [ci] Add Ltac2Maxime Dénès
2017-11-04[ci] Add Ltac2Jason Gross
2017-10-30[ci] Switch VST back to upstream.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:42:25 +0000