Skip to content

Normalize Pablo's name across all PEPs #9903

Normalize Pablo's name across all PEPs

Normalize Pablo's name across all PEPs #9903

Triggered via pull request November 6, 2025 23:44
Status Success
Total duration 36s
Artifacts

lint.yml

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