Eric Engestrom 0957b01a06 ci: take microsoft farm offline ... It has been in a rough few days for that farm and it doesn't seem to be able to handle the load. Unfortunately we need to consider it down so that it stops blocking merges.		2023-12-06 15:36:41 +00:00
..
.placeholder
anholt	ci: disable Anholt farm	2023-11-24 11:59:15 +00:00
lima	ci: disable lima farm as it appears to be down	2023-11-09 15:32:32 +00:00
microsoft	ci: take microsoft farm offline	2023-12-06 15:36:41 +00:00