Skip to content

Merge remote-tracking branch 'upstream/main' into pep-443/from-collec… #40

Merge remote-tracking branch 'upstream/main' into pep-443/from-collec…

Merge remote-tracking branch 'upstream/main' into pep-443/from-collec… #40

Triggered via push September 20, 2023 18:41
Status Success
Total duration 1m 27s
Artifacts

lint.yml

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