Skip to content
Render PEPs

PEP 800: Rename to "disjoint base" (#4540) #7346

Sign in to view logs

PEP 800: Rename to "disjoint base" (#4540)

PEP 800: Rename to "disjoint base" (#4540) #7346

Triggered via push August 13, 2025 18:43
@JelleZijlstraJelleZijlstra
pushed d995878
main
Status Success
Total duration 1m 43s
Artifacts –

render.yml

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