Skip to content
Render PEPs

PEP 800: Rename to "disjoint base" #7334

Sign in to view logs

PEP 800: Rename to "disjoint base"

PEP 800: Rename to "disjoint base" #7334

Triggered via pull request August 10, 2025 02:14
@JelleZijlstraJelleZijlstra
opened #4540
JelleZijlstra:pep800-disjoint
Status Success
Total duration 1m 46s
Artifacts –

render.yml

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