Revision 283b732dcf4b6837f254ccfceb7754992bc18731 authored by Raphaël Proust on 18 February 2022, 15:34:00 UTC, committed by Raphaël Proust on 23 February 2022, 13:21:15 UTC
1 parent 949d760
.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 ...