aboutsummaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
AgeCommit message (Expand)Author
2021-04-21Add mczify to CIKazuhiko Sakaguchi
2021-04-17Pin docutils to 0.16.Théo Zimmermann
2021-04-14[ci] update elpi to 1.13.1Enrico Tassi
2021-03-14[ci] [gitlab] Remove ad-hoc mathcomp install macrosEmilio Jesus Gallego Arias
2021-03-11Add deriving lib to CI.Arthur Azevedo de Amorim
2021-03-03[build] Split stdlib to it's own opam package.Emilio Jesus Gallego Arias
2021-02-26CI Windows: adjust branch name to Coq Platform branch renamingMichael Soegtrop
2021-02-16Only run windows job when WINDOWS=enabledGaëtan Gilbert
2021-02-11[ci] elpi 1.13.0Enrico Tassi
2021-02-03CI: Switch coqhammer job to edge ocamlGaëtan Gilbert
2021-01-05[ci] windows job based on the platformEnrico Tassi
2020-12-26Set the locale in Docker so Python's default output encoding is utf-8Jim Fehrle
2020-12-02gitlab CI: remove redundant "dependencies" infoGaëtan Gilbert
2020-11-30[ci] add job for gappaEnrico Tassi
2020-11-30[docker] install boost, mpfr, flex, bison, autoconf-archiveEnrico Tassi
2020-11-26CI: Use hash of dockerfile in CACHEKEYGaëtan Gilbert
2020-11-26Merge PR #13467: [ci] add job for intervalcoqbot-app[bot]
2020-11-26[ci] coquelicot, depend on ssr properEnrico Tassi
2020-11-26[ci] separate oddorder and fourcolor from mathcompEnrico Tassi
2020-11-26[ci] bump elpi to 1.12.0Enrico Tassi
2020-11-26[ci] add job for intervalEnrico Tassi
2020-11-25[docker] don't install ocamlformatEnrico Tassi
2020-11-25[ci] make compcert use flocq and menhirEnrico Tassi
2020-11-25[ci] job for menhirEnrico Tassi
2020-11-20Build all_stdlib.v in test suite makefileGaëtan Gilbert
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 06:43:46 +0000