Skip to content

[Security hardening] Pin GitHub Actions by SHA#2441

Merged
mnriem merged 1 commit intogithub:mainfrom
PascalThuet:codex/pin-github-actions
May 4, 2026
Merged

[Security hardening] Pin GitHub Actions by SHA#2441
mnriem merged 1 commit intogithub:mainfrom
PascalThuet:codex/pin-github-actions

Commits

Commits on May 2, 2026