Windows ARM in CI #4692

Job	Run time
mix fun and prob tests 2 (windows-11-arm)	1m 39s
mix fun and prob tests 4 (windows-11-arm)	1m 29s
mix fun and prob tests 1 (ubuntu-24.04-arm)	3m 19s
mix fun and prob tests 3 (windows-11-arm)	1m 43s
misc tests (windows-11-arm)	1m 53s
mix fun and prob tests 5 (windows-11-arm)	1m 34s
non-fun mix tests (windows-11-arm)	1m 49s
misc tests (ubuntu-24.04-arm)	3m 18s
mix fun and prob tests 4 (ubuntu-24.04-arm)	3m 19s
prim tests (windows-11-arm)	1m 47s
mix fun and prob tests 5 (ubuntu-24.04-arm)	3m 19s
fwd tests (windows-11-arm)	1m 32s
rev tests (windows-11-arm)	1m 54s
mix fun and prob tests 2 (ubuntu-24.04-arm)	3m 19s
mix fun and prob tests 3 (ubuntu-24.04-arm)	3m 19s
mix fun and prob tests 1 (windows-11-arm)	1m 36s
fwd tests (ubuntu-24.04-arm)	3m 19s
non-fun mix tests (ubuntu-24.04-arm)	3m 21s
rev tests (ubuntu-24.04-arm)	3m 20s
prim tests (ubuntu-24.04-arm)	3m 18s
	50m 7s

Provide feedback