Skip to content

Harden CI: SHA-pin all actions, add persist-credentials: false#4

Merged
jpr5 merged 1 commit into
mainfrom
fix/ci-hardening
May 15, 2026
Merged

Harden CI: SHA-pin all actions, add persist-credentials: false#4
jpr5 merged 1 commit into
mainfrom
fix/ci-hardening

Commits

Commits on May 15, 2026