CI: pin GitHub Actions runners #1098
Triggered via pull request
November 9, 2023 15:15
ErikSchierboom
ErikSchierboom
opened
#1388
Status
Success
Total duration
18s
Artifacts
–