Correct run-id evaluation

2023-07-18 14:14:08 +02:00 · 2023-07-18 14:14:08 +02:00 · 1b321efa30
parent b2c3e10335
commit 1b321efa30
1 changed files with 11 additions and 11 deletions
--- a/bin/scripts/install_pr.sh
+++ b/bin/scripts/install_pr.sh
@ -119,7 +119,7 @@ if [ -z "$head_sha" ]; then
 	exit 1
 fi

-if [[ -z ${run_id} ]]; then
+if [ -z "$run_id" ]; then
 # Determine run_id from head_sha
 runs=$(request_call "$api_url/actions/runs")
 run_id=$(echo "$runs" | tr '\r\n' ' ' | python3 -c """