.gitlab-ci.yml

stages:
  - test

tests:
  stage: test
  image: ocaml/opam@sha256:108b775e7bda2c6d3bddae61c9cdb003e40de746baf3a994e8f7b82d8301dd0a
  cache:
    key: $CI_COMMIT_REF_SLUG
    paths:
      - _opam
  script:
  - if [ ! -d _opam ]; then echo "no local switch in the CI cache, we setup a new switch"; opam switch create --yes --no-install . ocaml-base-compiler.4.11.1; fi
  - eval $(opam env)
  - opam --version
  - opam switch
  - sudo apt-get update
  - opam repository add remote https://opam.ocaml.org
  - opam update
  - opam install . --deps-only --with-test --yes
  - opam install --yes alt-ergo.2.4.0
  - make
  - make test
  tags:
    - docker