aboutsummaryrefslogtreecommitdiff
path: root/dev/ci
AgeCommit message (Expand)Author
2018-07-27[ci] Remove CircleCI setup.Emilio Jesus Gallego Arias
2018-07-25Merge PR #7859: Remove himsg.pr_puniverses, use @{} for universe printing in ...Pierre-Marie Pédrot
2018-07-25Merge PR #734: [travis] Also run coqchk on HoTTEmilio Jesus Gallego Arias
2018-07-25Add overlay for EquationsGaëtan Gilbert
2018-07-25Merge PR #8063: Direct implementation of Ascii.eqb and String.eqb (take 2)Hugo Herbelin
2018-07-24[travis] Also run coqchk on HoTTJason Gross
2018-07-24Add overlay for Equations.Gaëtan Gilbert
2018-07-17Add overlay for Coq-Equations for QuestionMark.Siddharth Bhat
2018-07-16Add overlay for QuickChickJason Gross
2018-07-12Merge PR #8051: Clean-up user-overlays folder.Emilio Jesus Gallego Arias
2018-07-12Clean-up user-overlays folder.Théo Zimmermann
2018-07-11[ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0Emilio Jesus Gallego Arias
2018-07-07Add an overlay.Pierre-Marie Pédrot
2018-07-05Merge PR #7746: Many small cleanups removing unused arguments and functionsPierre-Marie Pédrot
2018-07-04[ci] Avoid annoying detached head warning.Emilio Jesus Gallego Arias
2018-07-03Merge PR #7978: [ci] [docker] Make sure we don't install optional packages wi...Gaëtan Gilbert
2018-07-03Add overlay for equations.Gaëtan Gilbert
2018-07-02[ci] [docker] Make sure we don't install optional packages with apt.Emilio Jesus Gallego Arias
2018-07-02Add Equations overlayMatthieu Sozeau
2018-07-02Merge PR #7902: Use a homebrew parser to replace the GEXTEND extension points...Emilio Jesus Gallego Arias
2018-06-29Adding an overlay for the PR.Pierre-Marie Pédrot
2018-06-29Document that GITURL variables shouldn't have a trailing .git anymore.Théo Zimmermann
2018-06-29Merge PR #7080: Swapping Context and Constr and defining declarations on cons...Maxime Dénès
2018-06-27Add mit-plv/bedrock2-ci to CIAndres Erbsen
2018-06-27Adding overlay.Hugo Herbelin
2018-06-27Merge PR #7863: Remove Sorts.contentsPierre-Marie Pédrot
2018-06-26Merge PR #7906: universes_of_constr don't include universes of monomorphic co...Pierre-Marie Pédrot
2018-06-26Add overlay for elpiGaëtan Gilbert
2018-06-26Add overlay for Equations, ElpiGaëtan Gilbert
2018-06-25Activate the build of Ltac2 and Equations in the Windows installer.Théo Zimmermann
2018-06-25Reuse CI info to know which version of plugins to build on Windows.Théo Zimmermann
2018-06-24Merge PR #7895: Revert "Add a note about [ci skip] in CI README."Emilio Jesus Gallego Arias
2018-06-22Revert "Add a note about [ci skip] in CI README."Théo Zimmermann
2018-06-21Update dpdgraph branch nameGaëtan Gilbert
2018-06-19Merge PR #7797: Remove reference name type.Enrico Tassi
2018-06-18Overlay for reference removalMaxime Dénès
2018-06-18Update section on adding your project to CI and link to example PR.Théo Zimmermann
2018-06-14Merge PR #7793: [ci] update docker image to include elpi 1.0.4Emilio Jesus Gallego Arias
2018-06-14Merge PR #664: Fixing #5500 (missing test in return clause of match leading t...Matthieu Sozeau
2018-06-13[ci] update docker image to include elpi 1.0.4Enrico Tassi
2018-06-13Markdown docs: switch from absolute to relative links.Théo Zimmermann
2018-06-12[api] Add compatiblity Misctypes module.Emilio Jesus Gallego Arias
2018-06-11[ci] GeoCoq now depends on math-comp's ssralg.Emilio Jesus Gallego Arias
2018-06-08Merge PR #7687: [ci] [docker] Pin specific versions of OPAM CI dependencies.Gaëtan Gilbert
2018-06-06[ci] [docker] Pin specific versions of OPAM CI dependencies.Emilio Jesus Gallego Arias
2018-06-06Add a note about [ci skip] in CI README.Théo Zimmermann
2018-06-06Merge PR #7717: [ci] Temporal fix for CompCertGaëtan Gilbert
2018-06-06[ci] Temporal fix for CompCertEmilio Jesus Gallego Arias
2018-06-05Merge PR #7099: Stronger invariants in unification signature.Matthieu Sozeau
2018-06-05Merge PR #7495: Fix restrict_universe_contextMatthieu Sozeau
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:57:50 +0000