https://gitlab.com/nomadic-labs/data-encoding/
Raw File
Tip revision: 9292a965b93107c629d3d91675765a32238f514d authored by Raphaƫl Proust on 09 February 2023, 07:42:19 UTC
Move buffer management into its own library
Tip revision: 9292a96
.gitlab-ci.yml
workflow:
  rules:
    - if: $CI_PIPELINE_SOURCE == "schedule"
      when: always
    - if: $CI_PIPELINE_SOURCE == "web"
      when: always
    - if: $CI_COMMIT_BRANCH && $CI_OPEN_MERGE_REQUESTS && $CI_PIPELINE_SOURCE == "push"
      when: never
    - if: $CI_PIPELINE_SOURCE == "merge_request_event"
    - if: $CI_COMMIT_BRANCH && $CI_OPEN_MERGE_REQUESTS
      when: never
    - if: $CI_COMMIT_BRANCH

include: 'https://gitlab.com/nomadic-labs/gitlab-ocaml-ci-example/-/raw/main/.gitlab-ci.yml'

.build-matrix:
  parallel:
    matrix:
    - OCAML_COMPILER: ["4.14.0"]
      DUNE_BUILD_TARGETS: "@src/all"
      DUNE_TEST_TARGETS: "@runtest"
      DUNE_DOC_TARGETS: [""]
    - OCAML_COMPILER: "4.14.0"
      DUNE_BUILD_TARGETS: [""]
      DUNE_TEST_TARGETS: "@fmt"
      DUNE_DOC_TARGETS: "@doc"

variables:
  CLEAN_OPAM_CACHE: "false"
  CLEAN_DUNE_CACHE: "false"
back to top