jenkins: threading tests need more memory #5659

Job	Run time
mix fun and prob tests 1 (windows-latest)	47m 7s
mix fun and prob tests 1 (windows-11-arm)	1h 2m 16s
rev tests (windows-latest)	49m 23s
mix fun and prob tests 1 (ubuntu-24.04-arm)	32m 49s
mix fun and prob tests 5 (ubuntu-24.04-arm)	2h 16m 36s
mix fun and prob tests 2 (windows-latest)	54m 38s
mix fun and prob tests 4 (windows-latest)	43m 12s
mix fun and prob tests 5 (windows-latest)	3h 21m 23s
mix fun and prob tests 3 (ubuntu-24.04-arm)	29m 43s
rev tests (windows-11-arm)	28m 44s
misc tests (windows-latest)	6m 12s
prim tests (windows-11-arm)	53m 28s
mix fun and prob tests 2 (ubuntu-24.04-arm)	35m 7s
fwd tests (ubuntu-24.04-arm)	4m 16s
mix fun and prob tests 2 (windows-11-arm)	40m 35s
fwd tests (windows-11-arm)	9m 12s
mix fun and prob tests 4 (windows-11-arm)	34m 39s
mix fun and prob tests 3 (windows-11-arm)	37m 22s
mix fun and prob tests 3 (windows-latest)	40m 4s
mix fun and prob tests 5 (windows-11-arm)	1h 58m 33s
non-fun mix tests (windows-11-arm)	11m 37s
prim tests (windows-latest)	1h 26m 11s
mix fun and prob tests 4 (ubuntu-24.04-arm)	26m 12s
rev tests (ubuntu-24.04-arm)	21m 21s
misc tests (windows-11-arm)	8m 9s
misc tests (ubuntu-24.04-arm)	3m 41s
non-fun mix tests (windows-latest)	12m 35s
prim tests (ubuntu-24.04-arm)	42m 57s
non-fun mix tests (ubuntu-24.04-arm)	5m 25s
fwd tests (windows-latest)	8m 51s
	21h 32m 18s

Navigation Menu