Content - f3dd270430c7a85980c668946e2e9fda36776188 - 463133a/.gitlab-ci.yml

visit type:

Tip revision: 88f0cc798cff542db728ab8ec65cafa24ed3ea0f authored by Raphaël Proust on 16 March 2022, 10:16:15 UTC
Merge branch 'prepare-for-release-052' into 'master'

Tip revision: 88f0cc7

.gitlab-ci.yml

default:
  before_script:
    - sudo apt-get update
    - sudo apt-get install --yes libgmp-dev
    - sudo apt-get install --yes nodejs

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 @runtest_js"
  DUNE_DOC_TARGETS: "@doc"

Browse the archive

https://gitlab.com/nomadic-labs/data-encoding/