Improve CI infrastructure for pre-commit#2110
Merged
EliahKagan merged 2 commits intoMar 9, 2026
Merged
GitHub Advanced Security / CodeQL
succeeded
Mar 9, 2026 in 2s
No new alerts in code changed by this pull request
Loading