diff --git a/ci/run_task.sh b/ci/run_task.sh index bd3e26b..05b5738 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. +# +# Shellcheck can't search dynamic paths +# shellcheck source=/dev/null set -euox pipefail