Skip to content

Commit 3a5ca04

Browse files
committed
wip: add CI
1 parent 37b450a commit 3a5ca04

File tree

2 files changed

+36
-0
lines changed

2 files changed

+36
-0
lines changed

.github/workflows/main.yml

+35
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,35 @@
1+
name: Build and Test
2+
3+
on:
4+
push:
5+
branches:
6+
- master
7+
pull_request:
8+
9+
jobs:
10+
run:
11+
name: build # build+test on various versions of OCaml, on linux
12+
timeout-minutes: 15
13+
strategy:
14+
fail-fast: true
15+
matrix:
16+
os:
17+
- ubuntu-latest
18+
ocaml-compiler:
19+
- '4.08'
20+
- '5.2'
21+
22+
runs-on: ${{ matrix.os }}
23+
steps:
24+
- uses: actions/checkout@main
25+
- name: Use OCaml ${{ matrix.ocaml-compiler }}
26+
uses: ocaml/setup-ocaml@v2
27+
with:
28+
ocaml-compiler: ${{ matrix.ocaml-compiler }}
29+
dune-cache: true
30+
allow-prerelease-opam: true
31+
32+
- run: opam install -t datalog --deps-only
33+
- run: opam exec -- dune build @install
34+
- run: opam exec -- dune build --profile=release --force @install @runtest
35+

.gitignore

+1
Original file line numberDiff line numberDiff line change
@@ -6,3 +6,4 @@ _build
66
*.install
77
*.exe
88
*.merlin
9+
*.tmp

0 commit comments

Comments
 (0)