debug input arguments

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"