ci: use commit hash for github action version instead of version number or branch - #895
Closed
richm wants to merge 1 commit into
Closed
ci: use commit hash for github action version instead of version number or branch#895richm wants to merge 1 commit into
richm wants to merge 1 commit into
GitHub Advanced Security / CodeQL
succeeded
Aug 12, 2026 in 3s
No new alerts in code changed by this pull request
Loading