aboutsummaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
AgeCommit message (Expand)Author
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
2020-04-17CI: Ignore spurious errors in validate jobsGaëtan Gilbert
2020-04-16Merge PR #12069: [gitlab-ci] Only run Windows jobs when ONLY_WINDOWS variable...Gaëtan Gilbert
2020-04-13[ocamlformat] Update to 0.14.0Emilio Jesus Gallego Arias
2020-04-11[ci] [build] Bump Dune to 2.5.0Emilio Jesus Gallego Arias
2020-04-11[gitlab-ci] Only run Windows jobs when ONLY_WINDOWS variable is true.Théo Zimmermann
2020-04-08[ci] [fiat-crypto] [flambda] Don't use flambda for fiat-cryptoEmilio Jesus Gallego Arias
2020-03-31Merge PR #11131: [ci] [gitlab] Add test-suite test for OCaml 4.10 and 4.11Théo Zimmermann
2020-03-31Merge PR #11647: [rfc] Consolidation of parsing interfacesPierre-Marie Pédrot
2020-03-29[ci] [gitlab] Bump to edge to OCaml 4.10, add test-suite for OCaml 4.11Emilio Jesus Gallego Arias
2020-03-26[ci] Add bbvJason Gross
2020-03-25[gitlab] Increase flambda stack size.Emilio Jesus Gallego Arias
2020-03-24Fix deploy of refman following #11855.Théo Zimmermann
2020-03-23[ci] add metacoqMatthieu Sozeau
2020-03-22Merge PR #11855: Build and install refman with Dune.Emilio Jesus Gallego Arias
2020-03-20Merge PR #11814: Document coq_makefile behavior wrt -native-compiler yesEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 19:01:53 +0000