Lint PEPs

PEP 628: Fix 'Pi is [(still)] wrong' links #9174

Sign in to view logs

Triggered via pull request July 8, 2025 10:23

hugovk

opened #4487

hugovk:pep628-fix-pi-is-wrong-links

Status Success

Total duration 27s

Artifacts –

lint.yml

on: pull_request