Improve auto-build

1 job for main in 12 minutes and 58 seconds (queued for 29 seconds)
latest
Status Job ID Name Coverage
  Build
passed #3732
build

00:12:58