-
Notifications
You must be signed in to change notification settings - Fork 19
44 lines (34 loc) · 974 Bytes
/
PR.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
name: Build_PR
on:
pull_request:
branches:
- 'master'
jobs:
build:
env:
#OCANREN_STATS: yes
OCANREN_DOCS: yes
OPAMROOT: /home/user/.opam
runs-on: ubuntu-22.04
container:
image: kakadu18/ocaml:pltlab
options: --user user
steps:
- name: Cancel Previous Runs
uses: styfle/[email protected]
with:
access_token: ${{ github.token }}
- name: Checkout code
uses: actions/checkout@v3
- run: opam update
- name: Install dev version of GT
run: |
opam source GT --dev-repo
opam pin add GT ./GT -y
- name: Install dependencies for documentation
run: opam install odoc pa_ppx --yes
- run: opam install . --yes --deps-only --with-test --with-doc
- name: List installed packages
run: opam list
- run: opam exec -- make #dune build
- run: opam exec -- make test # dune runtest