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

Commits

Commits on Jun 22, 2023