aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/ci-basic-overlay.sh
AgeCommit message (Expand)Author
2020-05-19[ci] Add mit-plv/engine-benchJason Gross
2020-05-14[ci] [sf] Fix SF build.Emilio Jesus Gallego Arias
2020-04-30renaming in Makefile.ci and ci scripts to avoid inconsistenciesOlivier Laurent
2020-04-29Merge PR #12198: CI: change ext-lib url, it is at coq-community nowEmilio Jesus Gallego Arias
2020-04-29CI: ext-lib is at coq-community nowAntonio Nikishaev
2020-04-27[ci] Add coq-tools to the CIJason Gross
2020-03-26[ci] Add bbvJason Gross
2020-03-23[ci] add metacoqMatthieu Sozeau
2020-03-11Update dev/ci/ci-basic-overlay.shEnrico Tassi
2020-03-11[CI] test hierarchy builder as part of elpiEnrico Tassi
2020-02-11Remove fiat-crypto-legacy from CIMaxime Dénès
2020-02-07restore the default URL for coquelicotYves Bertot
2020-01-28Add reduction-effects to the CIJason Gross
2020-01-17Fix issue #11396 : Rlist hides standard list constructors cons and nilMichael Soegtrop
2020-01-08let CI test bedrock2's 'tested' branch instead of 'master'Samuel Gruetter
2019-12-02[CI] Test latest artifacts of SF instead of the stable versionMaxime Dénès
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-19Std++, Iris, and Lambda-Rust have moved.Théo Zimmermann
2019-07-29Fix issue #10593 : Software foundations URL changedMichael Soegtrop
2019-07-16Fix #9351 in master (Add Flocq, CoqInterval, Gappa tool and Gappa)Michael Soegtrop
2019-06-07simple IO CI branch is now `master`Gaëtan Gilbert
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:04:04 +0000