Skip to content

chore: pin external GitHub Actions to exact SHAs#13

Merged
m-romberg merged 4 commits into
mainfrom
update-action-shas
Jul 9, 2025
Merged

chore: pin external GitHub Actions to exact SHAs#13
m-romberg merged 4 commits into
mainfrom
update-action-shas

make script executable

b2dc375
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar