Lint PEPs

PEP 731: Remove Michael Droettboom from C API WG member list #9752

Sign in to view logs

Triggered via pull request October 8, 2025 12:19

encukou

opened #4648

encukou:mdb-wg

Status Success

Total duration 28s

Artifacts –

lint.yml

on: pull_request