Build merge requests in CI without publishing to gitlab pages
Goal of this PR: Make merge request validation work using a new build
stage.
Note: After merging this MR, the CI schedule may need to be adapted.
Goal of this PR: Make merge request validation work using a new build
stage.
Note: After merging this MR, the CI schedule may need to be adapted.