Skip to content
Back to pull request #3765

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

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 #4340

Render PEPs (3.13-dev)

Render PEPs (3.13-dev)
succeeded Apr 28, 2024 in 2m 47s