Skip to content
Lint PEPs

Infra: Use a list of authors in peps.json #8237

Sign in to view logs

Infra: Use a list of authors in peps.json

Infra: Use a list of authors in peps.json #8237

Triggered via pull request February 1, 2025 09:56
@AA-TurnerAA-Turner
synchronize #4226
AA-Turner:comma
Status Success
Total duration 27s
Artifacts –

lint.yml

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