From 4582e77cd47fcf121fc25a20f7767a15f1ba159c Mon Sep 17 00:00:00 2001 From: Kody Stribrny Date: Fri, 27 Mar 2026 16:05:43 -0700 Subject: [PATCH] Revert - dev testing changes --- .github/workflows/auto-release.yml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/.github/workflows/auto-release.yml b/.github/workflows/auto-release.yml index ae84d2f59..c5eff0f72 100644 --- a/.github/workflows/auto-release.yml +++ b/.github/workflows/auto-release.yml @@ -106,9 +106,11 @@ jobs: env: VERSION_NUMBER: ${{ github.event.inputs.version_number }} GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} + REPO_FULL_NAME: ${{ github.repository }} working-directory: ./local_kernel run: | PR_URL=$(gh pr create \ + --repo "$REPO_FULL_NAME" \ --base main \ --head "release-prep-$VERSION_NUMBER" \ --title "[AUTO][RELEASE]: Release $VERSION_NUMBER" \ @@ -118,11 +120,12 @@ jobs: - name: Wait for PR to be merged env: GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} + REPO_FULL_NAME: ${{ github.repository }} working-directory: ./local_kernel run: | - PR_NUMBER=$(echo "$PR_URL" | grep -oP '\d+$') + PR_NUMBER=$(echo "$PR_URL" | grep -oE '[0-9]+$') while true; do - STATE=$(gh pr view "$PR_NUMBER" --json state --jq .state) + STATE=$(gh pr view "$PR_NUMBER" --repo "$REPO_FULL_NAME" --json state --jq .state) if [ "$STATE" = "MERGED" ]; then echo "PR merged successfully" break