Skip to content

ci: get PR number correctly from pull_request event in pr-cleanup.yaml#8158

Merged
matifali merged 1 commit into
mainfrom
matifali/pr-number-fix
Jun 22, 2023
Merged

ci: get PR number correctly from pull_request event in pr-cleanup.yaml#8158
matifali merged 1 commit into
mainfrom
matifali/pr-number-fix

Conversation

@matifali

@matifali matifali commented Jun 22, 2023

Copy link
Copy Markdown
Member

Get PR number correctly when the vent trigger is pull_request in pr_cleanup.yaml

@matifali matifali enabled auto-merge (squash) June 22, 2023 16:14

@cdr-bot cdr-bot Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This PR is a hotfix and has been automatically approved.

  • ✅ Base is main
  • ✅ Has hotfix label
  • ✅ Head is from coder/coder
  • ✅ Less than 100 lines

@matifali matifali changed the title ci: get PR number correctly from pull_request event ci: get PR number correctly from pull_request event in pr-cleanup.yaml Jun 22, 2023
@matifali matifali merged commit 1417c12 into main Jun 22, 2023
@matifali matifali deleted the matifali/pr-number-fix branch June 22, 2023 17:19
@github-actions github-actions Bot locked and limited conversation to collaborators Jun 22, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant