From 217ac50ebb9b6ff58b1c190287063c816b97cc86 Mon Sep 17 00:00:00 2001 From: James Paterson Date: Tue, 12 Jul 2022 14:19:36 +1000 Subject: [PATCH] Use dune cache, ensure env is correct for build --- .github/workflows/test.yml | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 1c37ade5..d24ab0e9 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -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 \ No newline at end of file + dune build + dune runtest \ No newline at end of file