PEP 13: Add STAR voting and misc tidbits #7197
Triggered via pull request
September 23, 2024 19:20
gvanrossum
Status
Success
Total duration
10m 38s
Artifacts
–
lint.yml
on: pull_request
Run pre-commit
27s
Run check-peps
4s