Skip to content

Commit

Permalink
Separate workflow into steps
Browse files Browse the repository at this point in the history
  • Loading branch information
JamesP797 committed Jul 12, 2022
1 parent aed3623 commit 0e3f5ad
Showing 1 changed file with 10 additions and 4 deletions.
14 changes: 10 additions & 4 deletions .github/workflows/test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -18,10 +18,16 @@ jobs:
with:
ocaml-compiler: 4.09.0

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

- name: Environment setup
run: |
opam install . --deps-only --with-test
eval `opam config env`
export LD_LIBRARY_PATH=`opam config var z3:lib`
dune build
dune runtest
- name: Build
run: dune build

- name: Test
run: dune runtest

0 comments on commit 0e3f5ad

Please sign in to comment.