Skip to content
Render PEPs

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

Triggered via pull request April 28, 2024 18:50
@pradyunsgpradyunsg
synchronize #3765
pradyunsg:tweak-link-content-handling
Status Success
Total duration 2m 55s
Artifacts –

render.yml

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