Create a pull request using GitHub CLI

Author: ivangsa

.github/workflows/build.yml

@@ -51,7 +51,11 @@ jobs:
           git push -u origin "$STAGING_BRANCH"
           
           # Create a pull request using GitHub CLI
-          gh pr create --title "Deploy $GROUP_ID:$ARTIFACT_ID:$VERSION" --base main --head "$STAGING_BRANCH"
+          RUN_URL="${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}"
+          gh pr create \
+            --title "Deploy $GROUP_ID:$ARTIFACT_ID:$VERSION" \
+            --body "This PR deploys $GROUP_ID:$ARTIFACT_ID:$VERSION. [View the action run]($RUN_URL)" \
+            --base main --head "$STAGING_BRANCH"
 
       - name: Generate JaCoCo Badge
         id: jacoco