Skip to content

Harden GitHub Actions permissions and dependency pinning#235

Merged
Widthdom merged 1 commit into
mainfrom
agent/harden-github-actions-222
Jul 25, 2026
Merged

Harden GitHub Actions permissions and dependency pinning#235
Widthdom merged 1 commit into
mainfrom
agent/harden-github-actions-222

Commits

Commits on Jul 25, 2026