Lint PEPs

PEP 808: add discussion link #9981

Sign in to view logs

Triggered via pull request November 14, 2025 20:27

henryiii

opened #4707

henryiii:henryiii/chore/pep808discuss

Status Success

Total duration 33s

Artifacts –

lint.yml

on: pull_request