https://gitlab.com/nomadic-labs/data-encoding/
Raw File
Tip revision: 75ff4fef4235fef09cc6768da73589f481f33dba authored by Raphaƫl Proust on 24 January 2022, 15:32:35 UTC
Fix the CI by installing system library
Tip revision: 75ff4fe
.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"
back to top