Skip to content

CI: pin GitHub Actions to commit SHAs#70

Merged
arv merged 1 commit into
mainfrom
arv/pin-ci-actions
May 19, 2026
Merged

CI: pin GitHub Actions to commit SHAs#70
arv merged 1 commit into
mainfrom
arv/pin-ci-actions

CI: pin GitHub Actions to commit SHAs

5809b45
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar