Migration to new jenkins #5657

Job	Run time
mix fun and prob tests 4 (windows-11-arm)	36m 9s
mix fun and prob tests 3 (windows-latest)	40m 4s
mix fun and prob tests 1 (windows-11-arm)	1h 1m 34s
mix fun and prob tests 2 (ubuntu-24.04-arm)	38m 59s
mix fun and prob tests 2 (windows-11-arm)	41m 40s
misc tests (ubuntu-24.04-arm)	3m 9s
mix fun and prob tests 4 (windows-latest)	40m 57s
mix fun and prob tests 2 (windows-latest)	55m 2s
misc tests (windows-latest)	6m 4s
prim tests (windows-latest)	1h 33m 30s
fwd tests (windows-11-arm)	9m 40s
mix fun and prob tests 1 (windows-latest)	48m 30s
misc tests (windows-11-arm)	7m 48s
mix fun and prob tests 5 (windows-11-arm)	1h 55m 33s
prim tests (windows-11-arm)	57m 0s
mix fun and prob tests 1 (ubuntu-24.04-arm)	29m 59s
mix fun and prob tests 5 (ubuntu-24.04-arm)	2h 14m 17s
mix fun and prob tests 3 (ubuntu-24.04-arm)	29m 34s
mix fun and prob tests 4 (ubuntu-24.04-arm)	27m 25s
rev tests (windows-11-arm)	29m 48s
fwd tests (windows-latest)	10m 39s
non-fun mix tests (windows-11-arm)	11m 29s
non-fun mix tests (windows-latest)	9m 35s
fwd tests (ubuntu-24.04-arm)	4m 35s
prim tests (ubuntu-24.04-arm)	46m 3s
rev tests (ubuntu-24.04-arm)	21m 58s
rev tests (windows-latest)	49m 31s
non-fun mix tests (ubuntu-24.04-arm)	5m 40s
mix fun and prob tests 3 (windows-11-arm)	39m 41s
mix fun and prob tests 5 (windows-latest)	3h 31m 51s
	21h 57m 44s

Navigation Menu