aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/ci-basic-overlay.sh
AgeCommit message (Expand)Author
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
2017-10-27[ci] Switch back to upstream version of Math-Classes and Corn.Théo Zimmermann
2017-10-25Merge PR #6003: Point HoTT back at master, which now supports Coq masterMaxime Dénès
2017-10-23Point HoTT back at master, which now supports Coq masterJason Gross
2017-10-20Switch testing branch back to CompCert upstream.Théo Zimmermann
2017-10-19CI: build lambdaRust (which depends on Iris) rather than just IrisRalf Jung
2017-10-04[ci] Remove temporary bignums overlay.Théo Zimmermann
2017-09-07Merge PR #914: Making the detyper lazyMaxime Dénès
2017-09-05Fix Software Foundations build.Maxime Dénès
2017-09-04Making detyping potentially lazy.Pierre-Marie Pédrot
2017-07-28Merge PR #782: Update API for fiatMaxime Dénès
2017-07-18[ci] VST is now built with IGNORECOQVERSION=true.Théo Zimmermann
2017-07-04Revert fiat-crypto overlayJason Gross
2017-06-15Merge PR#778: Revert "[travis] temporary UniMath overlay"Maxime Dénès
2017-06-15Update fiat-parsers overlayJason Gross
2017-06-15Remove bedrock from test suite.Maxime Dénès
2017-06-14Merge PR#771: [travis overlay] Partially Revert 013c0232953f1f58Maxime Dénès
2017-06-14Temporary overlays because fewer plugins are loaded at startup.Maxime Dénès
2017-06-14Temporary overlays for bignums.Maxime Dénès
2017-06-13Revert "[travis] temporary UniMath overlay"Théo Zimmermann
2017-06-13[travis] extra test ci-bignums (+factorize other scripts)Pierre Letouzey
2017-06-13Merge PR#764: Point ci-hott at a newer version of HoTTMaxime Dénès
2017-06-12Merge PR#715: Add coq-dpdgraph ciMaxime Dénès
2017-06-12[travis overlay] Partially Revert 013c0232953f1f58Jason Gross
2017-06-12Temporary overlay, waiting for upstream PR merges.Maxime Dénès
2017-06-11Point ci-hott at a newer version of HoTTJason Gross
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:05:15 +0000