Update create_release_pull_request

vinmassaro · Feb 6, 2024 · d4956e6 · d4956e6
1 parent d835ebc
commit d4956e6
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.ci/github/create_release_pull_request b/.ci/github/create_release_pull_request
@@ -23,6 +23,9 @@ if [[ -z "$PR_NUMBER" ]]; then
   # Extract the pull request number from the response.
   PR_NUMBER=$(echo "$pull_request_response" | jq -r '.number')
 
+  # Set PR_NUMBER for Github Actions.
+  echo PR_NUMBER="$PR_NUMBER" >> "$GITHUB_OUTPUT"
+
 # If there is an existing PR number, get the PR.
 else
   pull_request_response=$(curl --silent -H "Authorization: token $ACCESS_TOKEN" \