Skip to content

chore: SHA-pin all GitHub Actions#15

Open
JuliusScheuerer wants to merge 1 commit into
mainfrom
chore/sha-pin-github-actions
Open

chore: SHA-pin all GitHub Actions#15
JuliusScheuerer wants to merge 1 commit into
mainfrom
chore/sha-pin-github-actions

Commits

Commits on Mar 26, 2026