Skip to content

chore: pin GitHub Actions to SHA#4

Open
devin-ai-integration[bot] wants to merge 2 commits into
masterfrom
automation/pin-actions-by-pinact-20260706095608
Open

chore: pin GitHub Actions to SHA#4
devin-ai-integration[bot] wants to merge 2 commits into
masterfrom
automation/pin-actions-by-pinact-20260706095608

Commits

Commits on Jul 6, 2026