aboutsummaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
blob: 4ac5620bda6a5ace45b8090a21ec06d5e31dc6f9 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
image: ocaml/opam2:latest

before_script:
  - sudo apt-get -y install m4 pkg-config libssl-dev libffi-dev
  - opam init
  - eval $(opam env)
  - opam update
  - opam pin add ppx_deriving_yojson --dev-repo -n
  - opam pin add disml .

build:
  stage: build
  script:
  - echo "Build successful"
  only:
  - master
  - merge_requests

pages:
  stage: deploy
  script:
  - opam pin add odoc --dev-repo
  - dune build @doc
  - cp -r _build/default/_doc/_html/ public/
  artifacts:
    paths:
    - public
  only:
  - tags