Skip to content

CI: pin GitHub Actions runners#5

Merged
ErikSchierboom merged 1 commit intomainfrom pin-gha-runnersNov 14, 2023