Skip to content

Add PEP 740 and pin GitHub actions#891

Merged
bouwew merged 7 commits into
mainfrom
pep740
Jul 5, 2026
Merged

Add PEP 740 and pin GitHub actions#891
bouwew merged 7 commits into
mainfrom
pep740

Commits

Commits on Jul 5, 2026