From 0c8f24bc4c5e4d975b1f7605667948f4281322c4 Mon Sep 17 00:00:00 2001
From: Chris Reynolds <chris@jazzsequence.com>
Date: Thu, 21 Sep 2023 16:16:53 -0600
Subject: [PATCH] get the pr number a different way?

---
 .github/workflows/sage-test.yml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/sage-test.yml b/.github/workflows/sage-test.yml
index a8eaaa95..5f70d94c 100644
--- a/.github/workflows/sage-test.yml
+++ b/.github/workflows/sage-test.yml
@@ -16,6 +16,14 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v3
+      - name: Get PR number
+        uses: actions/github-script@v4
+        with:
+          github-token: ${{ github.token }}
+          script: |
+            const core = require('@actions/core');
+            const pr = context.payload.number;
+            core.exportVariable('PR_NUMBER', pr);
       - name: Setup PHP
         uses: shivammathur/setup-php@v2
         with:
@@ -37,7 +45,7 @@ jobs:
           esac
 
           php_short=$(echo "${{ matrix.php-version }}" | tr -d '.')
-          pr_num=$(echo "${{ github.event.number }}")
+          pr_num=$PR_NUMBER
 
           multidev_name="${os_short}-${php_short}-${pr_num}"
           echo "Generated multidev name: $multidev_name"