Skip to content

PEP 731: Update WG members #92

PEP 731: Update WG members

PEP 731: Update WG members #92

Triggered via push May 30, 2024 23:06
Status Success
Total duration 1m 15s
Artifacts

lint.yml

on: push
Run pre-commit
1m 2s
Run pre-commit
Run check-peps
7s
Run check-peps
Fit to window
Zoom out
Zoom in