chore: pin GitHub Actions to SHA#4

Open

devin-ai-integration[bot] wants to merge 4 commits into

automation/pin-actions-by-pinact-20260706095608

Commits on May 26, 2026

security: pin GitHub Actions to SHA hashes

devin-ai-integration[bot]
and
suyudane
committed

Commits on Jun 5, 2026

Merge pull request #3 from kufu/security/sha-pinning-gha
Takashi-HIGUCHI-Dev
authored

Commits on Jul 6, 2026

ci: pin GitHub Actions with SHA via pinact

devin-ai-integration[bot]
and
suyudane
committed
ci: pin Ubuntu/WSL actions to main commit SHA (tag lacks action files)

devin-ai-integration[bot]
and
suyudane
committed