aboutsummaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
AgeCommit message (Expand)Author
2019-12-04[dune] Update to dune language version 2.0Emilio Jesus Gallego Arias
2019-12-02[CI] Test latest artifacts of SF instead of the stable versionMaxime Dénès
2019-11-27[ci] List build:edge+flambda in depsJason Gross
2019-11-27[ci] Split out the dependencies of fiat-cryptoJason Gross
2019-11-27[release] Update files for 8.12 release per release process.Emilio Jesus Gallego Arias
2019-11-21add tlc to ci; please proof read very carefully and test. thankscharguer
2019-11-05elpi 1.8Enrico Tassi
2019-10-11Merge PR #10844: Bump version number to 8.11.Théo Zimmermann
2019-10-08Merge PR #10791: Replace custom timeout logic with new GitLab's per-job timeo...Emilio Jesus Gallego Arias
2019-10-08Merge PR #10770: [ci] Add mit-pdos/perennialEmilio Jesus Gallego Arias
2019-10-07Bump version number to 8.11.Pierre-Marie Pédrot
2019-10-02Merge PR #10768: [ci] Update to OCaml 4.09.0, drop now useless "trunk" jobs.Gaëtan Gilbert
2019-09-25Replace custom timeout logic with new GitLab's per-job timeout keyword.Théo Zimmermann
2019-09-24Merge PR #10699: [gitlab/ci] Prevent Corn from running if Bignums has failed.Gaëtan Gilbert
2019-09-23Merge PR #10776: Fix #10413 (CI failure on tags).Gaëtan Gilbert
2019-09-23Mark SF as allow failure until it gets fixed.Théo Zimmermann
2019-09-23Fix #10413 (CI failure on tags).Théo Zimmermann
2019-09-20[ci] Add mit-pdos/perennialTej Chajed
2019-09-20[ci] Remove OCaml "trunk" CI jobs.Emilio Jesus Gallego Arias
2019-09-19[ci] Update supported OCaml version to 4.09.0Emilio Jesus Gallego Arias
2019-09-07update elpi to 1.7Enrico Tassi
2019-08-27[ci] Update to OCaml 4.08.1Emilio Jesus Gallego Arias
2019-08-24[gitlab/ci] Prevent Corn from running if Bignums has failed.Théo Zimmermann
2019-08-23[gitlab/ci] Rework stages, always use needs keyword.Théo Zimmermann
2019-08-22[gitlab/ci] Do not wait for all builds to finish to run the tests.Théo Zimmermann
2019-08-22[gitlab/ci] Build Bignums only once.Théo Zimmermann
2019-08-22[gitlab/ci] Deploy sooner thanks to new needs keyword.Théo Zimmermann
2019-07-08[core] [api] Support OCaml 4.08Emilio Jesus Gallego Arias
2019-07-06[Dockerfile] update menhir versionGaëtan Gilbert
2019-06-21[docker] [ci] Update Elpi to version 1.4.0Enrico Tassi
2019-06-11update elpi to 1.3.1Enrico Tassi
2019-06-06CI: Test ml compilation of each commit in a PR in lint jobGaëtan Gilbert
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:58:10 +0000