Revision 75d332f3408b59da5b6abe654d88629088c8e627 authored by Raphaël Proust on 18 February 2022, 10:15:52 UTC, committed by Raphaël Proust on 23 February 2022, 13:21:15 UTC
1 parent 6973e4f
.gitlab-ci.yml
default:
before_script:
- sudo apt-get update
- sudo apt-get install --yes libgmp-dev
include: 'https://gitlab.com/nomadic-labs/gitlab-ocaml-ci-example/-/raw/main/.gitlab-ci.yml'
.build-matrix:
parallel:
matrix:
- OCAML_COMPILER: "4.10.2"
- OCAML_COMPILER: "4.11.2"
- OCAML_COMPILER: "4.12.1"
- OCAML_COMPILER: "4.13.1"
variables:
CLEAN_OPAM_CACHE: "false"
CLEAN_DUNE_CACHE: "false"
DUNE_BUILD_TARGETS: "@src/all"
DUNE_TEST_TARGETS: "@fmt @runtest"
DUNE_DOC_TARGETS: "@doc"
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...