diff --git a/Jenkinsfile b/Jenkinsfile index 266539d..749440d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -270,7 +270,6 @@ EOF fi if ! cat </dev/null; then echo "warning: metrics push failed for suite=${suite}" >&2 - fi # TYPE platform_quality_gate_runs_total counter platform_quality_gate_runs_total{suite="${suite}",status="ok"} ${ok_count} platform_quality_gate_runs_total{suite="${suite}",status="failed"} ${failed_count}