From 309c888e76cc89f07274327685d25606d4d7082e Mon Sep 17 00:00:00 2001 From: codex Date: Mon, 20 Apr 2026 01:24:02 -0300 Subject: [PATCH] ci(soteria): fix pushgateway publish heredoc in sh --- Jenkinsfile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 006a445..ad7ef8b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -254,8 +254,7 @@ EOF esac fi fi - if ! cat </dev/null; then - echo "warning: metrics push failed for suite=${suite}" >&2 + cat > build/pushgateway-metrics.prom </dev/null; then + echo "warning: metrics push failed for suite=${suite}" >&2 fi ''' }