Improve auto-build

1 job for main in 4 minutes and 59 seconds (queued for 15 seconds)
Status Job ID Name Coverage
  Build
passed #2992
build

00:04:59