The source project of this merge request has been removed.
WIP: Have a distinct build check
I intend to change the default build test. It is very similar to the one in the test stage.
BTW: it is impossible to use CI today. I'll ask to rebuild after the review.
Only the last commit belongs to this MR.