From f8dade26a8acedf9d3f86ea04ca35751a7d7b35a Mon Sep 17 00:00:00 2001 From: johannst Date: Mon, 5 Oct 2020 17:41:49 +0200 Subject: fix indent & use long option names in scripting --- .github/workflows/check.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to '.github/workflows') 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 -- cgit v1.2.3