ci: builds for the main branch should have higher priority over PRs

Created by: jhchabran

In some situations, especially after unlocking the main branch, the queue will be filled up and it will delay the main builds, slowing down both preprod and prod deployments eventually.