Skip to content

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

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

Commits

Commits on Jun 22, 2023