aboutsummaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
AgeCommit message (Expand)Author
2020-10-23Force-delete pr branches.Théo Zimmermann
2020-10-12elpi 1.11.4Enrico Tassi
2020-09-22Merge PR #13061: fix build:quick and build:base+async artifactscoqbot-app[bot]
2020-09-22Merge PR #13050: [ci/gitlab/cachix] Avoid running in trouble when calling git...coqbot-app[bot]
2020-09-21fix build:quick and build:base+async artifactsGaëtan Gilbert
2020-09-18Merge PR #13043: [ci] call dmesg after quick/async jobs to detect OOMcoqbot-app[bot]
2020-09-18[ci] [dmesg] save as artifactEnrico Tassi
2020-09-17[ci/gitlab/cachix] Avoid running in trouble when calling git fetch --unshallow.Théo Zimmermann
2020-09-17[build] Don't link `num` anymore in CoqEmilio Jesus Gallego Arias
2020-09-17Merge PR #13024: [CI] Always upload artifactscoqbot-app[bot]
2020-09-17[ci] call dmesg after quick/async jobs to detect OOMEnrico Tassi
2020-09-15[zarith] [micromega] Bump to 1.10 and remove some hacksEmilio Jesus Gallego Arias
2020-09-14[CI] Always upload artifactsJason Gross
2020-09-14[ci] [docker] Up testing to OCaml 4.11.1Emilio Jesus Gallego Arias
2020-09-02CI: build Iris examples instead of lambda-RustRalf Jung
2020-08-27[numeral] [plugins] Switch from `Big_int` to ZArith.Emilio Jesus Gallego Arias
2020-08-25Move bench job definition to its own fileGaëtan Gilbert
2020-08-25Merge PR #12882: Perform a few tweaks to make the bench script work properly.coqbot-app[bot]
2020-08-25Merge PR #12798: Change OUnit package name to ounit2.coqbot-app[bot]
2020-08-25Merge PR #12870: CI: stop testing 4.11+trunkcoqbot-app[bot]
2020-08-24Bench: artifact logsGaëtan Gilbert
2020-08-24Perform a few tweaks to make the bench script work properly.Pierre-Marie Pédrot
2020-08-24CI: stop testing 4.11+trunkGaëtan Gilbert
2020-08-20Special commit to start benchmarking.Maxime Dénès
2020-08-18Dockerfile: Update ounitGaëtan Gilbert
2020-07-21Add Coqtail to CIwhonore
2020-07-20CI: deploy make-built stdlib docGaëtan Gilbert
2020-07-10Fix fiat_crypto(_ocaml) needs/dependenciesGaëtan Gilbert
2020-07-01[ci] Disable the OCaml 4.12 targetEmilio Jesus Gallego Arias
2020-06-27Merge PR #12518: [ci] [ocaml] Track OCaml 4.12Gaëtan Gilbert
2020-06-25[ci] [ocaml] Track OCaml 4.12Emilio Jesus Gallego Arias
2020-06-24[ci] [fiat-crypto-legacy] allow_failure: trueJason Gross
2020-06-24Add back fiat-crypto-legacy to the CIJason Gross
2020-06-23[ci] Add coq-community/coq-performance-testsJason Gross
2020-06-05Merge PR #12437: Fix ONLY_WINDOWS in .gitlab-ci.yml.Emilio Jesus Gallego Arias
2020-06-05Merge PR #12397: Fix #12280: do not use xindy to avoid build failures on some...Emilio Jesus Gallego Arias
2020-06-03Fix ONLY_WINDOWS in .gitlab-ci.yml.Théo Zimmermann
2020-05-31[ci] Split fiat-crypto into non-OCaml and OCamlJason Gross
2020-05-26Fix #12280: do not use xindy to avoid build failures on some machines.Théo Zimmermann
2020-05-21Merge PR #12364: [ci] [docker] Bump ocamlformat and duneGaëtan Gilbert
2020-05-20Merge PR #12359: [ci] Add mit-plv/engine-benchGaëtan Gilbert
2020-05-19[ci] Add mit-plv/engine-benchJason Gross
2020-05-19[ci] [docker] Bump ocamlformat and duneEmilio Jesus Gallego Arias
2020-05-19Use dev version for opam git pinning in .gitlab-ci.yml.Théo Zimmermann
2020-05-18Bump minimal versions of refman dependencies.Théo Zimmermann
2020-05-18Update to 8.13.Théo Zimmermann
2020-05-06[ci] bump elpi to 1.11Enrico Tassi
2020-04-30renaming in Makefile.ci and ci scripts to avoid inconsistenciesOlivier Laurent
2020-04-27[ci] Add coq-tools to the CIJason Gross
2020-04-21Fix VST after PrincetonUniversity/VST#402Gaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 05:54:36 +0000