Skip to content

ci: pin non-GitHub-owned GitHub Actions#89

Merged
marten-seemann merged 1 commit into
masterfrom
gha-pin
Jun 22, 2026
Merged

ci: pin non-GitHub-owned GitHub Actions#89
marten-seemann merged 1 commit into
masterfrom
gha-pin

Commits

Commits on Jun 22, 2026