Update/eigen 5.0.1 #5355

Job	Run time
mix fun and prob tests 5 (windows-11-arm)	1m 7s
mix fun and prob tests 3 (windows-11-arm)	1m 48s
mix fun and prob tests 1 (windows-latest)	1m 7s
mix fun and prob tests 2 (ubuntu-24.04-arm)	1m 55s
mix fun and prob tests 2 (windows-11-arm)	1m 50s
mix fun and prob tests 2 (windows-latest)	1m 55s
mix fun and prob tests 1 (windows-11-arm)	1m 47s
mix fun and prob tests 3 (windows-latest)	1m 55s
mix fun and prob tests 5 (windows-latest)	1m 7s
mix fun and prob tests 1 (ubuntu-24.04-arm)	1m 57s
mix fun and prob tests 4 (windows-11-arm)	1m 7s
prim tests (windows-11-arm)	1m 7s
fwd tests (windows-11-arm)	1m 7s
mix fun and prob tests 4 (windows-latest)	1m 7s
misc tests (windows-11-arm)	1m 7s
fwd tests (windows-latest)	1m 53s
prim tests (ubuntu-24.04-arm)	1m 58s
non-fun mix tests (windows-11-arm)	1m 7s
mix fun and prob tests 4 (ubuntu-24.04-arm)	1m 55s
prim tests (windows-latest)	1m 7s
rev tests (windows-latest)	1m 7s
misc tests (windows-latest)	1m 7s
rev tests (windows-11-arm)	1m 7s
mix fun and prob tests 5 (ubuntu-24.04-arm)	1m 21s
misc tests (ubuntu-24.04-arm)	1m 20s
mix fun and prob tests 3 (ubuntu-24.04-arm)	1m 57s
fwd tests (ubuntu-24.04-arm)	1m 55s
rev tests (ubuntu-24.04-arm)	1m 55s
non-fun mix tests (windows-latest)	1m 7s
non-fun mix tests (ubuntu-24.04-arm)	1m 56s
	44m 55s

Provide feedback