Skip to content

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

Infra: Use an option instead of argument in banner directives

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

Triggered via pull request April 28, 2024 18:33
Status Success
Total duration 2m 56s
Artifacts

render.yml

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