Skip to content

chore: pin github action to a hash#9

Merged
Jakub Boháček (bohjak) merged 1 commit into
mainfrom
bohjak/pin-github-actions-to-hash
Oct 27, 2025
Merged

chore: pin github action to a hash#9
Jakub Boháček (bohjak) merged 1 commit into
mainfrom
bohjak/pin-github-actions-to-hash

Commits

Commits on Oct 22, 2025