Skip to content

chore: pin GitHub Actions to commit SHAs#95

Merged
username-is-already-taken2 merged 2 commits intomainfrom
philip/pin-action-shas
Mar 27, 2026
Merged

chore: pin GitHub Actions to commit SHAs#95
username-is-already-taken2 merged 2 commits intomainfrom
philip/pin-action-shas

Commits

Commits on Mar 27, 2026