From 1b321efa3000eca6d7110243691785b455856a04 Mon Sep 17 00:00:00 2001
From: LordGrey <48840279+Lord-Grey@users.noreply.github.com>
Date: Tue, 18 Jul 2023 14:14:08 +0200
Subject: [PATCH] Correct run-id evaluation

---
 bin/scripts/install_pr.sh | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

diff --git a/bin/scripts/install_pr.sh b/bin/scripts/install_pr.sh
index 27cfba71..1f5d5342 100755
--- a/bin/scripts/install_pr.sh
+++ b/bin/scripts/install_pr.sh
@@ -119,18 +119,18 @@ if [ -z "$head_sha" ]; then
 	exit 1
 fi
 
-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 """
-	import json,sys
-	data = json.load(sys.stdin)
+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 """
+import json,sys
+data = json.load(sys.stdin)
 
-	for i in data['workflow_runs']:
-		if i['head_sha'] == '"$head_sha"':
-			print(i['id'])
-			break
-	""" 2>/dev/null)
+for i in data['workflow_runs']:
+	if i['head_sha'] == '"$head_sha"':
+		print(i['id'])
+		break
+""" 2>/dev/null)
 fi
 
 if [ -z "$run_id" ]; then