carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-09-24 20:50:13 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

Replicate the fix in #5669 to the proposal workflow (#5671)

Browse Source
This commit is contained in:
Chandler Carruth
2025-06-13 23:07:06 +00:00
committed by GitHub
parent 5196d1eb27
commit ad8d01d35c
2 changed files with 20 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/proposal_labeled.yaml
+14 -5
View File
@@ -22,6 +22,10 @@ on:
permissions:
pull-requests: write # For gh to edit labels.
# TODO: `--repo carbon-language/carbon-lang` is a temporary workaround for:
# https://github.com/cli/cli/issues/11055
# Once a later version is released on runners, maybe August 2025, we should be
# able to remove the extra flag.
jobs:
proposal_labeled:
runs-on: ubuntu-latest
@@ -44,7 +48,8 @@ jobs:
--remove-label "proposal accepted" \
--remove-label "proposal declined" \
--remove-label "proposal deferred" \
--add-label "proposal"
--add-label "proposal" \
--repo carbon-language/carbon-lang
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
PR: ${{ github.event.pull_request.html_url }}
@@ -58,7 +63,8 @@ jobs:
--remove-label "proposal accepted" \
--remove-label "proposal declined" \
--remove-label "proposal deferred" \
--add-label "proposal"
--add-label "proposal" \
--repo carbon-language/carbon-lang
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
PR: ${{ github.event.pull_request.html_url }}
@@ -72,7 +78,8 @@ jobs:
--remove-label "proposal rfc" \
--remove-label "proposal declined" \
--remove-label "proposal deferred" \
--add-label "proposal"
--add-label "proposal" \
--repo carbon-language/carbon-lang
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
PR: ${{ github.event.pull_request.html_url }}
@@ -86,7 +93,8 @@ jobs:
--remove-label "proposal rfc" \
--remove-label "proposal accepted" \
--remove-label "proposal deferred" \
--add-label "proposal"
--add-label "proposal" \
--repo carbon-language/carbon-lang
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
PR: ${{ github.event.pull_request.html_url }}
@@ -100,7 +108,8 @@ jobs:
--remove-label "proposal rfc" \
--remove-label "proposal accepted" \
--remove-label "proposal declined" \
--add-label "proposal"
--add-label "proposal" \
--repo carbon-language/carbon-lang
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
PR: ${{ github.event.pull_request.html_url }}
.github/workflows/proposal_ready.yaml
+6 -1
View File
@@ -13,6 +13,10 @@ on:
permissions:
pull-requests: write # For gh to edit labels.
# TODO: `--repo carbon-language/carbon-lang` is a temporary workaround for:
# https://github.com/cli/cli/issues/11055
# Once a later version is released on runners, maybe August 2025, we should be
# able to remove the extra flag.
jobs:
proposal_ready:
if: contains(github.event.pull_request.labels.*.name, 'proposal')
@@ -34,7 +38,8 @@ jobs:
--remove-label "proposal accepted" \
--remove-label "proposal declined" \
--remove-label "proposal deferred" \
--add-label "proposal rfc"
--add-label "proposal rfc" \
--repo carbon-language/carbon-lang
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
PR: ${{ github.event.pull_request.html_url }}