Skip to content

CI: Pin GitHub Actions to commit SHAs#58

Merged
wraithm merged 1 commit into
masterfrom
pin-github-actions-sha
Jun 25, 2026
Merged

CI: Pin GitHub Actions to commit SHAs#58
wraithm merged 1 commit into
masterfrom
pin-github-actions-sha

CI: Pin GitHub Actions to commit SHAs

9a1d477
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

10 warnings
cabal / ghc-9.4.8 / ubuntu-latest
succeeded Jun 25, 2026 in 6m 20s