Skip to content
Back to pull request #56232

tools: use github.actor instead of bot username for release proposals #67435

Sign in to view logs

tools: use github.actor instead of bot username for release proposals

tools: use github.actor instead of bot username for release proposals #67435

Annotations

1 warning

lint-pr-url

lint-pr-url
succeeded Dec 11, 2024 in 22s