Branch cannot be merged when build pipeline did not run

Merge requests cannot be merged if the build pipeline (build and push dev-images) did not run.

Change CI so that build job does not have to run.