Align CI with master

14 jobs for ImproveCounting in 12 minutes and 31 seconds (queued for 1 second)