diff options
author | Didier Wenzek <didier.wenzek@acidalie.com> | 2022-08-19 09:05:33 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-19 09:05:33 +0200 |
commit | 53c75cb81ec4551fde6dab3e26ef55ff6cd7e7f2 (patch) | |
tree | 73ecbfeae6dfd6c9a3d084c769e802d1e22dc560 /ci/report/build_local.sh | |
parent | ee3047cd76ad7485526f262442d97a48c6427349 (diff) | |
parent | e67ad4d292fb734ed8d6931e7b400cbc2f916dc8 (diff) |
Merge pull request #1326 from matthiasbeyer/add-shellcheck
Add shellcheck action, fix issues
Diffstat (limited to 'ci/report/build_local.sh')
-rwxr-xr-x | ci/report/build_local.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/report/build_local.sh b/ci/report/build_local.sh index 2af08917..01f75975 100755 --- a/ci/report/build_local.sh +++ b/ci/report/build_local.sh @@ -5,6 +5,7 @@ set -e python3 -m venv ~/env-builder +# shellcheck disable=SC1090 source ~/env-builder/bin/activate pip3 install junitparser pip3 install junit2html |