swh:1:snp:61dcfc0dd5674a0e65803e88039c122d9532074e
Raw File
Tip revision: df7ec5c69eba1c10e348857838872deb51aebe30 authored by Raphaƫl Proust on 27 May 2020, 16:02:12 UTC
WIP: support for user-provided invariants
Tip revision: df7ec5c
.gitlab-ci.yml
build-and-test:
  image: ocaml/opam2:alpine-3.10-ocaml-4.08
  script:
    - opam repository set-url default https://opam.ocaml.org
    - opam update
    - opam pin --no-action data-encoding .
    - opam depext ocamlformat.0.11.0
    - opam install ocamlformat.0.11.0
    - dune build @fmt
    - opam depext data-encoding
    - opam install --deps-only data-encoding
    - dune build
    - opam depext --dry-run crowbar alcotest
    - opam install --deps-only --with-test .
    - dune runtest
back to top