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