From 30b3aee931cd2d1b61692160a2f6ac9683e4f1eb Mon Sep 17 00:00:00 2001 From: Brad Stein Date: Sat, 18 Apr 2026 17:52:07 -0300 Subject: [PATCH] ci(metrics): fix publish heredoc shell syntax --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index d14e043..ada559b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -199,7 +199,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} @@ -219,6 +218,7 @@ soteria_quality_gate_checks_total{suite="${suite}",check="tests",result="${tests soteria_quality_gate_checks_total{suite="${suite}",check="coverage",result="${coverage_check}"} 1 soteria_quality_gate_checks_total{suite="${suite}",check="loc",result="${loc_check}"} 1 METRICS + fi ''' } }