diff --git a/checkout_repositories/run_ci.sh b/checkout_repositories/run_ci.sh index 5898ed2..afef00c 100644 --- a/checkout_repositories/run_ci.sh +++ b/checkout_repositories/run_ci.sh @@ -1,6 +1,7 @@ #!/usr/bin/env bash set -euo pipefail +echo " Received input parameters: $* " PLUGIN_REPO_NAME="https://gitea.psi.ch/bec/$1.git" PLUGIN_BRANCH="$2" CORE_BRANCH="$3"