Skip to content

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

Infra: Use an option instead of argument in banner directives

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

Triggered via pull request May 6, 2024 09:22
Status Success
Total duration 3m 3s
Artifacts

render.yml

on: pull_request
Matrix: Render PEPs
Fit to window
Zoom out
Zoom in