-
-
Notifications
You must be signed in to change notification settings - Fork 2
83 lines (61 loc) · 1.95 KB
/
test.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
name: Test
on: [push, pull_request]
jobs:
test:
strategy:
fail-fast: false
matrix:
os:
- ubuntu-latest
- macos-latest
- windows-latest
runs-on: ${{ matrix.os }}
steps:
# Without this, tests will fail on Windows because Coqfmt uses LF as a
# newline while the cloned source code contains CRLF.
- name: Modify the git setting not to convert LF to CRLF
run: git config --global core.autocrlf input
- uses: actions/checkout@v3
# See https://github.com/ocaml-opam/opam-repository-mingw#updates for `opam-repositories`.
- uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: "4.14.1"
opam-repositories: |
opam-repository-mingw: https://github.com/ocaml-opam/opam-repository-mingw.git#sunset
default: https://github.com/ocaml/opam-repository.git
dune-cache: true
- name: Install dependencies
run: opam install --deps-only .
# Without `opam exec -- `, these commands will fail due to "dune not found"
# error.
- name: Build
run: opam exec -- dune build
- name: Run tests
run: opam exec -- dune test
prettier:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Run Prettier
run: npx --yes prettier --check .
ocamlformat:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: "4.14.1"
dune-cache: true
- uses: ocaml/setup-ocaml/lint-fmt@v2
test_coq_files:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: "4.14.1"
dune-cache: true
- name: Install Coq
run: opam install coq
- name: Compile Coq files
run: find ./test/coq_files/**/*.v -print0|xargs -0 -n1 opam exec -- coqc