Skip to content

Pin SHA of third-party GitHub Actions#264

Merged
edmorley merged 1 commit intomainfrom edmorley/gha-pin-shaMar 17, 2025

Commits

Commits on Mar 17, 2025