Skip to content

chore: pin GitHub Actions dependencies#10

Merged
pweiskircher merged 1 commit into
mainfrom
patrik/chore/pin-github-actions/pin-github-actions-deps--d349b7e5
Jun 8, 2026
Merged

chore: pin GitHub Actions dependencies#10
pweiskircher merged 1 commit into
mainfrom
patrik/chore/pin-github-actions/pin-github-actions-deps--d349b7e5

Commits

Commits on Jun 8, 2026