Skip to content

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

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

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

ci: pin non-GitHub-owned GitHub Actions

e79e398
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar