diff options
| author | johannst <johannes.stoelp@gmail.com> | 2020-10-05 17:41:49 +0200 |
|---|---|---|
| committer | johannst <johannes.stoelp@gmail.com> | 2020-10-05 17:41:49 +0200 |
| commit | f8dade26a8acedf9d3f86ea04ca35751a7d7b35a (patch) | |
| tree | 1085c2e605787c12f18abbf5ef8383013ef7307c /.github/workflows | |
| parent | 750498b7b87e5189508e4d06b1ab3be970078f4e (diff) | |
| download | matcha-threads-f8dade26a8acedf9d3f86ea04ca35751a7d7b35a.tar.gz matcha-threads-f8dade26a8acedf9d3f86ea04ca35751a7d7b35a.zip | |
fix indent & use long option names in scripting
Diffstat (limited to '.github/workflows')
| -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 |