Add "release" label to PRs created for releases (#1486)

This allows filtering PRs to more easily find releases.
This commit is contained in:
Derek Schuff
2024-11-05 14:11:30 -08:00
committed by GitHub
parent 59108b0e22
commit e7fd5fd445

View File

@@ -27,6 +27,7 @@ jobs:
commit-message: |
Release ${{ env.RELEASE_VERSION }}
team-reviewers: release-reviewers
labels: release
body: |
With emscripten-releases revisions:
https://chromium.googlesource.com/emscripten-releases/+/${{ inputs.lto-sha }} (LTO)