Skip to content

ci: SHA-pin GitHub Actions in sbt-plugins workflow - #18

Merged
riccardosarro merged 1 commit into
mainfrom
fix/github-action-sha-pinning
Jul 17, 2026
Merged

ci: SHA-pin GitHub Actions in sbt-plugins workflow#18
riccardosarro merged 1 commit into
mainfrom
fix/github-action-sha-pinning

Commits

Commits on Jul 15, 2026