Skip to content
Render PEPs

PEP 808: name change #8022

Sign in to view logs

PEP 808: name change

PEP 808: name change #8022

Triggered via pull request November 30, 2025 05:17
@henryiiihenryiii
opened #4719
henryiii:henryiii/pep808/name
Status Success
Total duration 1m 40s
Artifacts –

render.yml

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