add 725

42 jobs for finalise-v0.13.10 in 212 minutes and 54 seconds (queued for 3 seconds)