File tree Expand file tree Collapse file tree 1 file changed +30
-0
lines changed Expand file tree Collapse file tree 1 file changed +30
-0
lines changed Original file line number Diff line number Diff line change
1
+ on :
2
+ pull_request :
3
+ types : [opened, synchronize, edited, reopened]
4
+ push :
5
+ workflow_dispatch :
6
+ jobs :
7
+ build :
8
+ strategy :
9
+ fail-fast : false
10
+ matrix :
11
+ lambdapi-version : [master]
12
+ runs-on : ubuntu-latest
13
+ steps :
14
+ - name : Check out lib
15
+ uses : actions/checkout@v2
16
+ - name : Install ocaml and opam
17
+ uses : ocaml/setup-ocaml@v2
18
+ - name : Install lambdapi dependencies
19
+ run : opam install dune bindlib timed sedlex menhir pratter yojson cmdliner why3
20
+ - name : Check out lambdapi ${{ matrix.lambdapi-version }}
21
+ run : git clone --depth 1 --branch ${{ matrix.lambdapi-version }} https://github.com/Deducteam/lambdapi.git
22
+ - name : Install lambdapi
23
+ run : |
24
+ cd lambdapi
25
+ eval $(opam env)
26
+ make install
27
+ - name : Check lib
28
+ run : |
29
+ eval $(opam env)
30
+ make
You can’t perform that action at this time.
0 commit comments