diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 04d89c5f21fd9d95ddc6ed74cedc6e92c64c3653..caf2e6a471dbce7bd3f3f72a8158528cc5a0e38d 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -31,7 +31,7 @@ stages: env: stage: config script: - - export JUGGLER_DETECTOR="detector_template" + - export JUGGLER_DETECTOR="reference_detector" - | if [[ "x${CI_PIPELINE_SOURCE}" == "xmerge_request_event" || "$CI_COMMIT_BRANCH" == "master" ]]; then export JUGGLER_DETECTOR_VERSION="${CI_COMMIT_REF_NAME}" @@ -89,7 +89,7 @@ overlap_check: needs: - ["compile"] script: - - checkOverlaps -c detector_template.xml | tee doc/overlap_check.out + - checkOverlaps -c reference_detector.xml | tee doc/overlap_check.out - echo "$(cat doc/overlap_check.out | grep ovlp | wc -l) overlaps..." - if [[ "$(cat doc/overlap_check.out | grep ovlp | wc -l)" -gt "1" ]] ; then echo "Overlaps exist!" && false ; fi @@ -98,7 +98,7 @@ detector:config_testing: needs: - ["compile"] script: - - checkOverlaps -c detector_template.xml | tee doc/overlap_check.out | wc -l + - checkOverlaps -c reference_detector.xml | tee doc/overlap_check.out | wc -l - cat doc/overlap_check.out allow_failure: true