diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index b088a34..84a3fd9 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -28,7 +28,7 @@ jobs: - run: opam install . --deps-only --with-test - run: opam install zanuda - run: opam install ounit2 - + - run: rm -rf _build - run: opam exec -- dune build @fmt @check @runtest -j3 - run: opam exec -- dune runtest - run: opam exec -- zanuda -no-top_file_license -no-check-filesystem -dir .