-
Notifications
You must be signed in to change notification settings - Fork 9
95 lines (79 loc) · 2.69 KB
/
master_docker.yml
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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
name: Build Master in docker
on:
pull_request:
branches:
- 'master'
push:
branches:
- 'master'
env:
OPAMROOT: /home/opam/.opam
OPAMYES: true
jobs:
build:
strategy:
fail-fast: false
matrix:
os:
- ubuntu-latest
runs-on: ${{ matrix.os }}
container:
image: ocaml/opam:ubuntu-lts-ocaml-4.14
options: --user root # dirty hack
steps:
- name: Cancel Previous Runs
uses: styfle/cancel-workflow-action@0.11.0
with:
access_token: ${{ github.token }}
- name: Checkout code
uses: actions/checkout@v3
# By some reason depext doesn't install it for conf-autoconf
- run: |
sudo apt-get update -y
sudo apt-get install autoconf -y
# checking out the code seems to be important because local switch is used
- name: Installing dependencies
run: |
opam pin add ./ -n
opam depext zanuda reviewer -y
opam install . --deps-only --with-test --with-doc
- name: Building...
run: opam exec -- dune build --profile=release
- run: opam exec -- dune build @install --profile=release
- name: Running tests in release...
run: |
opam exec -- dune test --profile=release
- name: Send coverage report to Coveralls
if: github.event_name != 'pull_request'
run: |
git config --global --add safe.directory /__w/zanuda/zanuda
opam exec -- make coverage
opam exec -- bisect-ppx-report send-to Coveralls --coverage-path $BISECT_DIR
env:
BISECT_DIR: /tmp/zanudacov
COVERALLS_REPO_TOKEN: ${{ secrets.GITHUB_TOKEN }}
PULL_REQUEST_NUMBER: ${{ github.event.number }}
- name: Build linter descriptions...
if: github.event_name != 'pull_request'
run: |
mkdir -p _build/_lintinfo
opam exec -- dune exec zanuda -- -dump-lints _build/_lintinfo/lints.json
- name: Deploy linters' descriptions
if: github.event_name != 'pull_request'
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: _build/_lintinfo
keep_files: true
destination_dir: lints
- name: Build API documentation
if: github.event_name != 'pull_request'
run: opam exec -- dune build @doc
- name: Deploy API documentation
if: github.event_name != 'pull_request'
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./_build/default/_doc/_html
keep_files: true
destination_dir: api