Skip to content
Render PEPs

PEP 800: Rename to "disjoint base" #7336

Sign in to view logs

PEP 800: Rename to "disjoint base"

PEP 800: Rename to "disjoint base" #7336

Triggered via pull request August 10, 2025 15:27
@JelleZijlstraJelleZijlstra
synchronize #4540
JelleZijlstra:pep800-disjoint
Status Success
Total duration 1m 45s
Artifacts –

render.yml

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