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

chore: pin GitHub Actions dependencies

af99c13
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar