Skip to content
Render PEPs

PEP 788: Rename the PEP, per discussion #7180

Sign in to view logs

PEP 788: Rename the PEP, per discussion

PEP 788: Rename the PEP, per discussion #7180

Triggered via pull request July 11, 2025 16:01
@ZeroIntensityZeroIntensity
opened #4493
ZeroIntensity:rename-pep-788
Status Success
Total duration 1m 41s
Artifacts –

render.yml

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