Skip to content

chore: Pin GitHub Actions jobs to SHA hashes for security.#3260

Merged
thdaraujo merged 1 commit into
mainfrom
run-zizmor
May 11, 2026
Merged

chore: Pin GitHub Actions jobs to SHA hashes for security.#3260
thdaraujo merged 1 commit into
mainfrom
run-zizmor

Pin GitHub Actions jobs to SHA hashes for security.

1bb95e5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Benchmarks
succeeded May 8, 2026 in 15s