diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/check.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index da1fe20..a3cd520 100644 --- a/.github/workflows/check.yml +++ b/.github/workflows/check.yml @@ -16,8 +16,8 @@ jobs: run: | for arch in x86_64 arm64; do echo -e "\e[1;32m==> check ARCH=$arch\e0m" - docker run \ - --rm \ - -v $PWD:/develop \ + docker run \ + --rm \ + --volume $PWD:/develop \ matcha-box /bin/bash -c "make clean && make ARCH=$arch demo1" done |