Skip to content

Add PEP 740 and pin GitHub actions#235

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

Add PEP 740 and pin GitHub actions#235
CoMPaTech merged 7 commits into
mainfrom
pep740

Commits

Commits on Jul 5, 2026