Skip to content
Render PEPs

PEP 800: Rename to "disjoint base" #7341

Sign in to view logs

PEP 800: Rename to "disjoint base"

PEP 800: Rename to "disjoint base" #7341

Triggered via pull request August 12, 2025 03:30
@JelleZijlstraJelleZijlstra
synchronize #4540
JelleZijlstra:pep800-disjoint
Status Success
Total duration 1m 39s
Artifacts –

render.yml

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