Use PAT for runner registration instead of GITHUB_TOKEN

Author: amandalund

.github/workflows/benchmark.yml

@@ -63,14 +63,16 @@ jobs:
         id: reg-token
         run: |
           RESPONSE=$(curl -sS -X POST \
-            -H "Authorization: Bearer ${{ secrets.GITHUB_TOKEN }}" \
+            -H "Authorization: Bearer ${{ secrets.GH_RUNNER_TOKEN }}" \
             -H "Accept: application/vnd.github+json" \
             -H "X-GitHub-Api-Version: 2022-11-28" \
             "https://api.github.com/repos/${{ github.repository }}/actions/runners/registration-token")
-          echo "$RESPONSE" | jq .
-          TOKEN=$(echo "$RESPONSE" | jq -r .token)
-          test "$TOKEN" != "null"
-          test -n "$TOKEN"
+          TOKEN=$(echo "$RESPONSE" | jq -r '.token')
+          if [ -z "$TOKEN" ] || [ "$TOKEN" = "null" ]; then
+            echo "Failed to get runner token"
+            echo "$RESPONSE" | jq .
+            exit 1
+          fi
           echo "token=$TOKEN" >> "$GITHUB_OUTPUT"
 
       - name: Launch EC2 instance