aboutsummaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
AgeCommit message (Expand)Author
2019-02-08[Gitlab-CI] Automatic deployment of the standard library documentation to GH-...Vincent Laporte
2019-02-07Merge PR #9499: [Gitlab-CI] Never attempt to build cachixThéo Zimmermann
2019-02-07[Gitlab-CI] Never attempt to build cachixVincent Laporte
2019-02-06[Gitlab-CI] Deploy manual to GH-PagesVincent Laporte
2019-02-04Dockerfile: update menhir from 20180530 to 20181113Vincent Laporte
2019-01-31[ci] [ocaml] Fix OCaml trunk builds.Emilio Jesus Gallego Arias
2019-01-30Update Cachix signing key.Théo Zimmermann
2019-01-30Create deployment environment for Cachix.Théo Zimmermann
2019-01-17Merge PR #9326: [ci] compile with -quick & validate after vio2voGaëtan Gilbert
2019-01-11Merge pull request #8778 from SkySkimmer/merge-plugin-tutoYves Bertot
2019-01-10[ci] compile with -quick & validate after vio2voEnrico Tassi
2019-01-09Add a CI job running test suite with `-async-proofs on`Maxime Dénès
2019-01-08Integrate plugin tutorial after code importGaëtan Gilbert
2019-01-07Merge PR #9309: [ci] Add Verdi Raft with dependencies to CIEmilio Jesus Gallego Arias
2019-01-05[ci] Add Verdi Raft with dependencies to CIKarl Palmskog
2019-01-04Remove formal-topology from CIMaxime Dénès
2018-12-27Merge PR #9224: Move lint job to gitlabEmilio Jesus Gallego Arias
2018-12-23[ci] Annotate plugins and libraries.Théo Zimmermann
2018-12-21Move lint job to gitlabGaëtan Gilbert
2018-12-14[dune] [gitlab] Test OCaml trunk.Emilio Jesus Gallego Arias
2018-12-13[dune] [doc] Support for building the reference manual with Dune.Emilio Jesus Gallego Arias
2018-12-12Add CI job building stdlib with `-async-proofs on`Maxime Dénès
2018-12-09add relation-algebra to CI test suiteChristian Doczkal
2018-11-30[gitlab-ci] Increase git depth.Théo Zimmermann
2018-11-28Remove Windows from allow_failure now that addons are not tested on PRs.Théo Zimmermann
2018-11-26[ci] Set windows jobs to allow_failure: trueEmilio Jesus Gallego Arias
2018-11-23Merge PR #9044: Remove pidetop from CIEmilio Jesus Gallego Arias
2018-11-21Remove pidetop from CIMaxime Dénès
2018-11-21[camlp5] Remove dependency on camlp5.Emilio Jesus Gallego Arias
2018-11-20gitlab: Install stdlib doc in build:baseGaëtan Gilbert
2018-11-17[ci] Uniformize casing of makefile targets and ci variables.Emilio Jesus Gallego Arias
2018-11-13Merge PR #8976: CoqHammer CIGaëtan Gilbert
2018-11-12CoqHammer CILukasz Czajka
2018-11-10[ci] Add paramcoq to CI.Emilio Jesus Gallego Arias
2018-11-08Revert "Merge PR #8923: Bump camlp5 minimal version and use its safe API."Pierre-Marie Pédrot
2018-11-07Merge PR #8923: Bump camlp5 minimal version and use its safe API.Emilio Jesus Gallego Arias
2018-11-07Merge PR #8927: Optimise git cloningGaëtan Gilbert
2018-11-07Bump up the minimal camlp5 version to 7.06.Pierre-Marie Pédrot
2018-11-06Optimise git cloningKamil Trzciński
2018-11-06[Docker] Update COMPILER_EDGE: 4.07.0 → 4.07.1Vincent Laporte
2018-10-23[dune] [opam] Move to OPAM 2.0Emilio Jesus Gallego Arias
2018-10-22[doc] [api] Update `odoc` to new release 1.3.0Emilio Jesus Gallego Arias
2018-10-14Merge PR #8546: [ci] Allow bedrock to fail.Gaëtan Gilbert
2018-10-11[dune] [test-suite] Support for running the test suite with Dune.Emilio Jesus Gallego Arias
2018-10-09[test-suite] Use ocamlfind to locate Coq libraries in unit tests.Emilio Jesus Gallego Arias
2018-10-09Merge PR #8632: [ide] [dune] [test-suite] Reorganize `fake_ide` build.Pierre-Marie Pédrot
2018-10-08[ide] [dune] [test-suite] Reorganize `fake_ide` build.Emilio Jesus Gallego Arias
2018-10-08[ci] Add aac-tactics.Théo Zimmermann
2018-10-08Merge PR #8657: [dune] Refactor files following advice from upstream.Théo Zimmermann
2018-10-05[ci] Allow bedrock2 to fail.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 19:33:51 +0000