aboutsummaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
AgeCommit message (Expand)Author
2018-09-21Use unique names in windows CI for cygwin and coq install folderMichael Soegtrop
2018-09-21Merge commit 6a8c37c02504463afaa677641d75d9977020edf6 Windows buildfile clean...Michael Soegtrop
2018-09-20Update minimum required dependency versions of Sphinx doc.Théo Zimmermann
2018-09-10[dune] Add apidoc target using `odoc`Emilio Jesus Gallego Arias
2018-09-10[ci] [docker] Add more dependencies for Dune-aware jobs.Emilio Jesus Gallego Arias
2018-09-06[dune] [ci] Fix and test release profile + use 1.1 dune-workspaceEmilio Jesus Gallego Arias
2018-09-05[build] Preliminary support for building Coq with `dune`.Emilio Jesus Gallego Arias
2018-09-03[doc] Build ML API documentation artifact.Emilio Jesus Gallego Arias
2018-08-30[ci] [docker] Update Dune and Elpi versions.Emilio Jesus Gallego Arias
2018-08-24Split up fiat-crypto CI into two targetsJason Gross
2018-08-13Do not run 32-bit Windows builds on pull requests.Théo Zimmermann
2018-07-24[ci] Enable native compiler in `egde:flambda` build.Emilio Jesus Gallego Arias
2018-07-12[ci] Remove warning jobs in favor of default `-warn-error yes`Emilio Jesus Gallego Arias
2018-07-11[ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0Emilio Jesus Gallego Arias
2018-07-10Remove auto-retry in GitLab CI now that @coqbot is handling it.Théo Zimmermann
2018-07-06[pkg:nix] Add more comments and allow overriding extra substituters.Théo Zimmermann
2018-07-05[pkg:nix] Change the download method.Théo Zimmermann
2018-07-05[pkg:nix] Cache the build using Cachix when signing key is set.Théo Zimmermann
2018-07-04Merge PR #7973: Add a test build on NixOS to GitLab CI.Gaëtan Gilbert
2018-07-04Print something after the build completed if it wasn't a runner failure.Théo Zimmermann
2018-07-03Add a test build of Nix package to GitLab CI.Théo Zimmermann
2018-07-02[ci] [docker] Make sure we don't install optional packages with apt.Emilio Jesus Gallego Arias
2018-06-27Add mit-plv/bedrock2-ci to CIAndres Erbsen
2018-06-14Merge PR #7793: [ci] update docker image to include elpi 1.0.4Emilio Jesus Gallego Arias
2018-06-13[ci] update docker image to include elpi 1.0.4Enrico Tassi
2018-06-12[ci] Require runner `docker` tag on `docker-boot` job.Emilio Jesus Gallego Arias
2018-06-09Merge PR #7515: gitlab: build sphinx doc in separate jobEmilio Jesus Gallego Arias
2018-06-09Merge PR #7642: Gitlab: retry failed jobs onceEmilio Jesus Gallego Arias
2018-06-08gitlab: build sphinx doc in separate jobGaëtan Gilbert
2018-06-08Gitlab: retry failed "build" jobs onceGaëtan Gilbert
2018-06-06[ci] [docker] Pin specific versions of OPAM CI dependencies.Emilio Jesus Gallego Arias
2018-06-02Update .gitlab to use newer ocamlLeonidas Lampropoulos
2018-06-02QuickChick CILeonidas Lampropoulos
2018-05-25Allow make clean to work on a fresh cloneJason Gross
2018-05-22Merge PR #7526: [circle] Use Docker image from Gitlab registry.Gaëtan Gilbert
2018-05-21[ci] [gitlab] Fix printenv sorting for variables that span multiple lines.Emilio Jesus Gallego Arias
2018-05-17[circle] Use Docker image from Gitlab registry.Emilio Jesus Gallego Arias
2018-05-16Merge PR #7442: Gitlab: build docker image in pipeline and use through registry.Emilio Jesus Gallego Arias
2018-05-16Merge PR #7507: gitlab CI: fix [warnings] templateEmilio Jesus Gallego Arias
2018-05-14Gitlab: skip docker job when $SKIP_DOCKER == "true".Gaëtan Gilbert
2018-05-14Gitlab: build docker image in pipeline and use through registry.Gaëtan Gilbert
2018-05-14Merge PR #7344: Windows packaging build with Gitlab CIGaëtan Gilbert
2018-05-14gitlab CI: fix [warnings] templateGaëtan Gilbert
2018-05-11gitlab CI: remove math-classes jobGaëtan Gilbert
2018-05-11Windows packaging build with Gitlab CIMaxime Dénès
2018-05-09[ci] Add mit-plv/cross-cryptoJason Gross
2018-05-08[gitlab] Do expensive builds with a flambda-compiled Coq.Emilio Jesus Gallego Arias
2018-05-07[gitlab] Add bleeding-edge flambda build.Emilio Jesus Gallego Arias
2018-05-07[ci] Add ounit to the base Docker package set.Emilio Jesus Gallego Arias
2018-05-05[gitlab] [circleci] Use a Custom Docker Image as base CI setup.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 14:22:56 +0000