From ebeef381e67e9c42277eb89494f17db5610035ba Mon Sep 17 00:00:00 2001 From: Paul Cadman Date: Mon, 15 May 2023 13:10:48 +0100 Subject: [PATCH] ci: clean .juvix-build directory before formatting/typechecking examples (#2079) Currently we typecheck and check formatting of juvix examples. However the make target redundantly traverses the juvix files within the .juvix-build directory contained in each project (which has been created during previous tests). This commit cleans the .juvix-build directories before performing each of these checks. --- .github/workflows/ci.yml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ca62ed21b..065ab58e8 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -119,7 +119,9 @@ jobs: continue-on-error: true run: | cd main + make clean-juvix-build make check-format-juvix-files + make clean-juvix-build make typecheck-juvix-examples - name: Add ~/.local/bin to PATH @@ -218,8 +220,10 @@ jobs: if: ${{ success() }} run: | cd main - make -s check-format-juvix-files - make -s typecheck-juvix-examples + make clean-juvix-build + make check-format-juvix-files + make clean-juvix-build + make typecheck-juvix-examples - name: Install Smoke uses: jaxxstorm/action-install-gh-release@v1.10.0