Skip to content

Commit

Permalink
Use dune cache, ensure env is correct for build
Browse files Browse the repository at this point in the history
  • Loading branch information
JamesP797 committed Jul 12, 2022
1 parent 0e3f5ad commit 217ac50
Showing 1 changed file with 4 additions and 7 deletions.
11 changes: 4 additions & 7 deletions .github/workflows/test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -17,17 +17,14 @@ jobs:
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: 4.09.0
dune-cache: true

- name: Opam install
run: opam install . --deps-only --with-test

- name: Environment setup
- name: Build and test
run: |
eval `opam config env`
export LD_LIBRARY_PATH=`opam config var z3:lib`
- name: Build
run: dune build

- name: Test
run: dune runtest
dune build
dune runtest

0 comments on commit 217ac50

Please sign in to comment.