-
Notifications
You must be signed in to change notification settings - Fork 2
63 lines (61 loc) · 1.84 KB
/
main.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
name: Test compilation
on:
push:
branches:
- "**"
pull_request:
branches:
- "**"
workflow_dispatch:
inputs: {}
jobs:
build-matrix:
runs-on: ubuntu-latest
strategy:
matrix:
opam_file:
- 'coq-verified-extraction.opam'
image:
- 'yforster/coq:8.19.1--clang-11--compcert-3.13.1--extlib-0.12.1--equations-1.3--metacoq-1.3.1'
fail-fast: false # don't stop jobs if one fails
steps:
- uses: actions/checkout@v2
with:
submodules: true
- uses: coq-community/docker-coq-action@v1
with:
custom_image: ${{ matrix.image }}
opam_file: ${{ matrix.opam_file }}
before_install: |
startGroup "fix permission issues"
sudo chown -R coq:coq .
endGroup
startGroup "opam pin"
opam pin -n -y "https://github.com/stedolan/malfunction.git#master"
endGroup
startGroup "install dependencies for benchmarks"
opam install -y core_bench.v0.16.0
endGroup
install: |
startGroup "Install dependencies"
# sudo apt-get update -y -q
opam pin add -n -y -k path $PACKAGE $WORKDIR
# opam update -y
opam install --confirm-level=unsafe-yes -j 2 $PACKAGE --deps-only
endGroup
after_install: |
startGroup "make"
make -j 2 bootstrap
endGroup
script: |
startGroup "fix permission issues"
sudo chown -R coq:coq .
endGroup
after_script: |
startGroup "List installed packages"
opam list
endGroup
startGroup "run tests"
make -C examples
make -C benchmarks ci
endGroup