Skip to content
Lint PEPs

PEP 770: Add list of differences between PEP 725 and PEP 770 (#4278) #8315

Sign in to view logs

PEP 770: Add list of differences between PEP 725 and PEP 770 (#4278)

PEP 770: Add list of differences between PEP 725 and PEP 770 (#4278) #8315

Triggered via push February 20, 2025 18:13
@brettcannonbrettcannon
pushed 93e9cc3
main
Status Success
Total duration 41s
Artifacts –

lint.yml

on: push
Run pre-commit
33s
Run pre-commit
Fit to window
Zoom out
Zoom in