aboutsummaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
AgeCommit message (Expand)Author
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
2020-03-20Build and install refman with Dune.Théo Zimmermann
2020-03-19[ocamformat] Update to 0.13.0Emilio Jesus Gallego Arias
2020-03-19[refman] Remove workaround for sphinx-doc/sphinx#4983Clément Pit-Claudel
2020-03-18[ci] [docker] Update to 4.09.1Emilio Jesus Gallego Arias
2020-03-16[ci] [docker] Update components in Docker imageEmilio Jesus Gallego Arias
2020-03-16Fix coq-makefile/native1 testPierre Roux
2020-03-15[ci] Re-enable VST testingEmilio Jesus Gallego Arias
2020-03-10[ci] [gitlab] Move VST to `allow_failure`Emilio Jesus Gallego Arias
2020-03-01[ci] [docker] bump elpi to 1.10.2Enrico Tassi
2020-03-01[ci] bump dune to 2.0.1 due to upstream problemsEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:13:24 +0000