These are running on a hardware setup which is hard to maintain. In the
near future, ARM64 should be covered by a dedicated runner.