-
Notifications
You must be signed in to change notification settings - Fork 21
118 lines (92 loc) · 3.35 KB
/
workflow.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
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
name: Main Workflow
# use fields.git-main-branch to change from master
on:
pull_request:
branches:
- master
push:
branches:
- master
jobs:
build:
strategy:
fail-fast: false
matrix:
os:
- ubuntu-latest
- macos-latest
- windows-latest
ocaml-compiler:
- 4.10.0
skip_test:
- false
include:
- os: ubuntu-latest
ocaml-compiler: 4.07.0
skip_test: true
runs-on: ${{ matrix.os }}
# use fields.github-workflow-env to add something here
steps:
- name: Checkout code
uses: actions/checkout@v2
- name: Retrieve opam cache
uses: actions/cache@v2
id: cache-opam
with:
path: ~/.opam
key: v2-${{ runner.os }}-drom-${{ matrix.ocaml-compiler }}-${{ hashFiles('opam/*.opam') }}
# restore-keys: |
# v2-${{ runner.os }}-opam-${{ matrix.ocaml-compiler }}-
- name: Use OCaml ${{ matrix.ocaml-compiler }}
uses: avsm/setup-ocaml@v2
with:
ocaml-compiler: ${{ matrix.ocaml-compiler }}
opam-pin: false
opam-depext: false
- name: Set git user
run: |
git config --global user.name github-actions
git config --global user.email github-actions-bot@users.noreply.github.com
# use fields.opam-repo = "git+https://" to add an 'extra' opam repository
- run: opam pin add . -y --no-action
- run: opam depext -y drom drom_lib drom_toml
# if: steps.cache-opam.outputs.cache-hit != 'true'
- run: opam install -y opam/*.opam --deps-only --with-test
# if: steps.cache-opam.outputs.cache-hit != 'true'
# - run: opam upgrade --fixup
# if: steps.cache-opam.outputs.cache-hit == 'true'
# Use fields.build-scripts to add more scripts to convert here
- run: dos2unix scripts/*.sh
if: matrix.os == 'windows-latest'
# Use fields.github-workflow-before-build to add something here
- run: make build
# Use fields.github-workflow-after-build to add something here
- name: run test suite
run: |
./scripts/before.sh test
opam exec -- dune build @runtest
./scripts/after.sh test
if: matrix.skip_test != 'true'
# Use fields.github-workflow-after-test to add something here
- name: test source is well formatted
run: make fmt
continue-on-error: true
if: matrix.ocaml-compiler == '4.10.0' && matrix.os == 'ubuntu-latest'
- name: build-doc
if: github.ref == 'refs/heads/master' && matrix.ocaml-compiler == '4.10.0' && matrix.os == 'ubuntu-latest'
run: |
sudo apt install -yqq python3-sphinx python3-sphinx-rtd-theme
opam install -y dune odoc
make doc
touch _drom/docs/.nojekyll
touch _drom/docs/sphinx/.nojekyll
touch _drom/docs/doc/.nojekyll
- name: deploy-doc
uses: JamesIves/github-pages-deploy-action@3.6.2
if: github.ref == 'refs/heads/master' && matrix.ocaml-compiler == '4.10.0' && matrix.os == 'ubuntu-latest'
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
BRANCH: gh-pages
FOLDER: _drom/docs/
CLEAN: true
# Use fields.github-workflow-trailer to add a trailer here