aboutsummaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
AgeCommit message (Expand)Author
2019-05-27gitlab: run less jobs unless FULL_CI=trueGaëtan Gilbert
2019-05-21[ci] Set artifact expire date for all jobs.Emilio Jesus Gallego Arias
2019-05-10CI: run coqchk without -silentGaëtan Gilbert
2019-05-07Remove ppedrot/ltac2 from CI after integration in main repoGaëtan Gilbert
2019-05-07Merge PR #10002: Integrate ltac2Théo Zimmermann
2019-05-07Integrate build and documentation of Ltac2Maxime Dénès
2019-04-28Merge PR #10010: [ci/gitlab] Remove after_switch message (not useful anymore).Emilio Jesus Gallego Arias
2019-04-27[ci/gitlab] Remove after_switch message (not useful anymore).Théo Zimmermann
2019-04-24[coq_makefile] Enforce warn_error for plugins.Emilio Jesus Gallego Arias
2019-04-20update elpi to version 1.2Enrico Tassi
2019-04-06[ci/deploy] Fix branch creation when pushing to coq/coq-on-cachix.Théo Zimmermann
2019-04-02CI: Use job-local timeout for build-template and test-suite-templateGaëtan Gilbert
2019-03-31CI: add mit-pdos/argosyTej Chajed
2019-03-29[CI] Force caching when running test-suite in async modeMaxime Dénès
2019-03-23[ci] [gitlab] Pin ocamlfind to masterEmilio Jesus Gallego Arias
2019-03-21Merge PR #9797: [ci] Fix OCaml trunk build.Gaëtan Gilbert
2019-03-19[CI] Push the right commit to cachixVincent Laporte
2019-03-19Merge PR #9647: [default.nix] Enable parallel buildThéo Zimmermann
2019-03-19Merge PR #9279: CoqIDE on lablgtk3Pierre-Marie Pédrot
2019-03-19[ci] Fix OCaml trunk build.Emilio Jesus Gallego Arias
2019-03-19Merge PR #9796: [ci] Guard broken jobs under an `UNRELIABLE = enabled` variable.Gaëtan Gilbert
2019-03-19[coqide] [ci] Update GTK toolchain to lablgtk3Emilio Jesus Gallego Arias
2019-03-18[ci] Guard broken jobs under an `UNRELIABLE = enabled` variable.Emilio Jesus Gallego Arias
2019-03-18Print more info before trying to push to coq-on-cachix.Théo Zimmermann
2019-03-15[ci] [gitlab] Replace YAML grafting by `extends: ` declaration.Emilio Jesus Gallego Arias
2019-03-11[ci] [docker] Upgrade odoc to 1.4.0Emilio Jesus Gallego Arias
2019-03-11Merge PR #9698: Remove last random failuresGaëtan Gilbert
2019-03-05[CI] Add stdlib2Vincent Laporte
2019-03-05Put regularly failing async tests in allow_failure mode.Théo Zimmermann
2019-03-01When Nix build is finished and pushed to Cachix, update a specific branch.Théo Zimmermann
2019-02-28[Gitlab-CI] Creates a deploy-templateVincent Laporte
2019-02-26[dune] Simple rule to generate Stdlib's documentation.Emilio Jesus Gallego Arias
2019-02-26[default.nix] Enable parallel buildVincent Laporte
2019-02-25[Gitlab-CI] Deploy api documentation to GH-PagesVincent Laporte
2019-02-22Merge PR #9614: Fix #9613 use -coqlib when invoking coqchkEmilio Jesus Gallego Arias
2019-02-21Fix #9613 use -coqlib when invoking coqchkGaëtan Gilbert
2019-02-20[azure] [ci] Build on Windows using Dune.Emilio Jesus Gallego Arias
2019-02-20Merge PR #9560: [coqlib] Remove `-boot` option for setting the coqlibEnrico Tassi
2019-02-18CI: fix trunk jobs switch pickingGaëtan Gilbert
2019-02-18[gitlab] [docker] [ci] Remove "edge" compiler switch.Emilio Jesus Gallego Arias
2019-02-14[coqlib] Remove `-boot` option for setting the coqlibEmilio Jesus Gallego Arias
2019-02-12[tactics] Remove dependency of abstract on global proof state.Emilio Jesus Gallego Arias
2019-02-09remove `allow_failure: true` for bedrock2Samuel Gruetter
2019-02-08[Gitlab-CI] Automatic deployment of the standard library documentation to GH-...Vincent Laporte
2019-02-07Merge PR #9499: [Gitlab-CI] Never attempt to build cachixThéo Zimmermann
2019-02-07[Gitlab-CI] Never attempt to build cachixVincent Laporte
2019-02-06[Gitlab-CI] Deploy manual to GH-PagesVincent Laporte
2019-02-04Dockerfile: update menhir from 20180530 to 20181113Vincent Laporte
2019-01-31[ci] [ocaml] Fix OCaml trunk builds.Emilio Jesus Gallego Arias
2019-01-30Update Cachix signing key.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-20 15:30:46 +0000