Skip to content
Back to pull request #3765

Infra: Use an option instead of argument in banner directives #6358

Sign in to view logs

Infra: Use an option instead of argument in banner directives

Infra: Use an option instead of argument in banner directives #6358

Run check-peps

Run check-peps
succeeded Apr 28, 2024 in 7s