diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index a2d482b068478b3ff15287a4f1ed2cd56441ef93..f696240c6ce8b441b922677187039f5b1a0eed75 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -12,3 +12,6 @@ build: - mkdir build - cd build && cmake -DBUILD_TESTING=On -DARMRAL_ENABLE_COVERAGE=On .. && make -j check && gcovr -r .. coverage: /^TOTAL.*\s+(\d+\%)$/ + rules: + - if: $CI_PIPELINE_SOURCE == "merge_request_event" + - if: $CI_PIPELINE_SOURCE == "push"