Gerwin Klein b98d3e1d8f github/weekly: reduce test load ... The weekly test runs out of current VM quota. Reduce the load slightly by testing NUM_DOMAIN=7 only for one architecture. Pick ARM, since that has the most complete proof stack. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>		2025-04-18 15:52:07 +10:00
..
external.yml	github: make sure artifact names are unique	2024-02-09 09:57:57 +11:00
lint.yml	github: move linter to pull_request_target trigger	2024-07-10 10:22:32 +10:00
pr.yml	github: use central CI workflows	2025-03-31 11:54:11 +11:00
proof-deploy.yml	github: include greater spread of test configs	2025-03-31 14:19:33 +11:00
proof.yml	github: fix concurrency group syntax	2024-12-06 16:38:13 +11:00
push.yml	github: use central CI workflows	2025-03-31 11:54:11 +11:00
rebase.yml	github: factor out platform rebase into own workflow	2024-07-26 12:00:02 +10:00
trigger.yml	github: bump github actions to node20	2024-02-05 14:48:06 +11:00
weekly-clean.yml	github/weekly: reduce test load	2025-04-18 15:52:07 +10:00