Skip to content

chore: pin GitHub Actions to commit SHAs - #7

Merged
gaetandi merged 2 commits into
mainfrom
chore/pin-github-actions
Jul 9, 2026
Merged

gaetandi merged 2 commits into
mainfrom
chore/pin-github-actions

Commits

Commits on Jul 7, 2026