CI hardening: pin GitHub Actions to SHAs and define explicit job permissions - #3174
Merged
GitHub Advanced Security / CodeQL
succeeded
Jan 4, 2026 in 2s
No new alerts in code changed by this pull request
Loading