Merge tag 'v0.17.1' into develop

This commit is contained in:
Massimiliano Culpo
2021-12-23 19:48:36 +01:00
3 changed files with 28 additions and 1 deletions

View File

@@ -19,6 +19,8 @@
args=()
if [[ -n $GITHUB_BASE_REF ]]; then
args+=("--base" "${GITHUB_BASE_REF}")
else
args+=("--base" "${GITHUB_REF_NAME}")
fi
# verify that the code style is correct