aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/ci-basic-overlay.sh
AgeCommit message (Expand)Author
2017-06-15Merge PR#778: Revert "[travis] temporary UniMath overlay"Maxime Dénès
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
2017-06-08Remove coq-dpdgraph overlayJason Gross
2017-06-02Add an overlay for coq-dpdgraph for 8.7Jason Gross
2017-06-02Add coq-dpdgraph CIJason Gross
2017-05-27[travis] temporary UniMath overlayMaxime Dénès
2017-05-10Switch bedrock to mit-plv baseJason 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
2017-03-22[travis] [8.6.only] Backport latest changes from trunk.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 09:13:35 +0000