Alternative option: keep both, but disable push pipelines while MR pipelines are running

12 jobs for !8 with ci-fix in 11 minutes (queued for 1 second)
latest detached
Status Job ID Name Coverage
  Environment
passed #509731
Setup CI build env

00:03:29

 
  Build
passed #509732
C++11 build

00:05:16

passed #509733
C++17 build

00:05:41

 
  Package
passed #509734
Package C++11 image

00:00:55

passed #509735
Package C++17 image

00:01:14

 
  Test
passed Run tests

 
  Compatibility
passed DocSophya

passed ProjectPI

passed TAcq

 
  Cleanup Sophya
passed #509740
Discard CI C++11 image

00:00:14

passed #509741
Discard CI C++17 image

00:00:16

 
  Cleanup Env
passed #509742
Discard CI build env

00:00:16