mirror of
https://github.com/anoma/juvix.git
synced 2025-01-05 06:14:05 +03:00
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.
This commit is contained in:
parent
10d052d1a2
commit
ebeef381e6
8
.github/workflows/ci.yml
vendored
8
.github/workflows/ci.yml
vendored
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user