fix: plugin URL

2025-09-24 11:50:29 -05:00
parent b31e3fc15e
commit 0668caa574
1 changed files with 1 additions and 1 deletions
--- a/checkout_repositories/run_ci.sh
+++ b/checkout_repositories/run_ci.sh
@@ -2,7 +2,7 @@
 set -euo pipefail

 echo " Received input parameters: $* "
-PLUGIN_REPO_NAME="https://gitea.psi.ch/bec/$1.git"
+PLUGIN_URL="https://gitea.psi.ch/bec/$1.git"
 PLUGIN_BRANCH="$2"
 CORE_BRANCH="$3"
 WIDGETS_BRANCH="$4"