aboutsummaryrefslogtreecommitdiff
path: root/dev/ci
AgeCommit message (Expand)Author
2018-09-10Ltac2 overlay.Hugo Herbelin
2018-09-05[build] Preliminary support for building Coq with `dune`.Emilio Jesus Gallego Arias
2018-09-04Merge PR #7684: [doc] Build ML API documentation artifact.Gaëtan Gilbert
2018-09-03Merge PR #8064: Numeral notation (revisited again)Hugo Herbelin
2018-09-03[doc] Build ML API documentation artifact.Emilio Jesus Gallego Arias
2018-09-03Merge PR #8376: Source basic overlay after user overlays to fix #8375 followi...Gaëtan Gilbert
2018-09-03Merge PR #7085: Turn the kernel reduction sharing flag into an argument passe...Maxime Dénès
2018-09-01Source basic overlay after user overlays to fix #8375 following #8348.Théo Zimmermann
2018-09-01Add overlay for HoTTJason Gross
2018-09-01Merge PR #8348: Download tarball instead of cloning external projects.Emilio Jesus Gallego Arias
2018-08-31Merge PR #8346: Clean-up Travis folds.Gaëtan Gilbert
2018-08-31Merge PR #8351: [ci] [docker] Update base Dune version.Gaëtan Gilbert
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-08-30[ci] [docker] Update Dune and Elpi versions.Emilio Jesus Gallego Arias
2018-08-28[ci-fiat-crypto] Build c-filesJason Gross
2018-08-28Clean-up Travis folds.Théo Zimmermann
2018-08-24Split up fiat-crypto CI into two targetsJason Gross
2018-08-01Update documentation on GitLab CI to reflect recent changes.Théo Zimmermann
2018-07-27[ci] Remove CircleCI setup.Emilio Jesus Gallego Arias
2018-07-26Adding an overlay for Mtac2.Pierre-Marie Pédrot
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 21:35:40 +0000