Skip to content

PEP 735: Add include-project to Deferred Ideas #7273

PEP 735: Add include-project to Deferred Ideas

PEP 735: Add include-project to Deferred Ideas #7273

Triggered via pull request October 1, 2024 21:02
Status Success
Total duration 32s
Artifacts

lint.yml

on: pull_request
Run pre-commit
24s
Run pre-commit
Run check-peps
4s
Run check-peps
Fit to window
Zoom out
Zoom in