From 5a577d725e1f2b2713a9c500dbe4e8d08f056f63 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=D0=94=D0=B0=D0=BD=D0=B8=D0=B8=D0=BB=20=D0=93=D0=BE=D1=80?= =?UTF-8?q?=D0=BB=D1=8F=D0=BA=D0=BE=D0=B2?= <63161448+pmpknu@users.noreply.github.com> Date: Tue, 22 Oct 2024 20:01:27 +0300 Subject: [PATCH] fix(ci) --- .github/workflows/CI.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 .