max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/.github/actionlint.yaml
Joachim Breitner 47b795a302
chore: CI: run stage0 update on faster runner (#9178) 
To avoid it losing races against the merge queue.
2025-07-03 16:14:46 +00:00

5 lines
144 B
YAML
Raw Blame History

self-hosted-runner:
labels:
- nscloud-ubuntu-22.04-amd64-4x16
- nscloud-ubuntu-22.04-amd64-8x16
- nscloud-macos-sonoma-arm64-6x14
Reference in a new issue View git blame Copy permalink