aboutsummaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
AgeCommit message (Expand)Author
2020-02-02[ci] [fiat-crypto] Use the pinned bedrock2Jason Gross
2020-01-28Add reduction-effects to the CIJason Gross
2020-01-23Changed Gitlab CI runner tag for Windows to windows-inriaMichael Soegtrop
2020-01-17[ci] [gitlab] Add `interruptible: true` to jobs.Emilio Jesus Gallego Arias
2019-12-24[ci] [gitlab] [bedrock] Build bedrock with 1 coreEmilio Jesus Gallego Arias
2019-12-16[ci] [dune] Updates to dune builds artifacts.Emilio Jesus Gallego Arias
2019-12-13[fmt] [dune] Add ocamlformat configuration.Emilio Jesus Gallego Arias
2019-12-13[ci] [docker] Install ocamlformat in docker images.Emilio Jesus Gallego Arias
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 09:50:35 +0000