Skip to content
Lint PEPs

PEP 808: name change #10040

Sign in to view logs

PEP 808: name change

PEP 808: name change #10040

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

lint.yml

on: pull_request
Run pre-commit
30s
Run pre-commit
Fit to window
Zoom out
Zoom in