Update build & CI files to properly use new CI machine

1 job for ci in 14 minutes and 18 seconds (queued for 2 minutes and 41 seconds)