diff options
| -rw-r--r-- | .github/workflows/check.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index e8278d7..5d92ab6 100644 --- a/.github/workflows/check.yml +++ b/.github/workflows/check.yml @@ -20,5 +20,5 @@ jobs: docker run \ --rm \ --volume $PWD:/develop \ - matcha-box /bin/bash -c "make clean && make ARCH=$arch demo1" + matcha-box /bin/bash -c "make ARCH=$arch clean demo1" done |