TEC 47a615c3ee CI: Put push and scheduled runs in separate groups ... This should reduce the number of unwanted cancellations.		2024-03-09 12:55:37 +08:00
..
workflows	CI: Put push and scheduled runs in separate groups	2024-03-09 12:55:37 +08:00
FUNDING.yml	Give people a way to caffeinate me	2021-08-24 17:54:16 +08:00