Lint PEPs

PEP 772: Add link to board resolution. #9894

Sign in to view logs

Triggered via pull request November 4, 2025 20:20

warsaw

opened #4687

warsaw:772-board-resolve

Status Success

Total duration 39s

Artifacts –

lint.yml

on: pull_request