diff --git a/ci/run_task.sh b/ci/run_task.sh index 08dc761..d38c1f7 100755 --- a/ci/run_task.sh +++ b/ci/run_task.sh @@ -1,6 +1,9 @@ #!/usr/bin/env bash # # Script used to run CI jobs, can also be used from the command line. +# +# disable can't follow non-constant source (because paths use $REPO_DIR). +# shellcheck disable=SC1090 set -euox pipefail