From c84bb14771621b088b1ceaf59c0d8fb58aba44c8 Mon Sep 17 00:00:00 2001
From: codex <codex@bstein.dev>
Date: Fri, 15 May 2026 14:23:03 -0300
Subject: [PATCH] ci: publish coverage before sonar gate

---
 Jenkinsfile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index e9ef5d0..4522886 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -101,6 +101,10 @@ spec:
           sh '''#!/usr/bin/env bash
             set -euo pipefail
             mkdir -p build
+            export GOFLAGS='-buildvcs=false'
+            if [ ! -s build/coverage.out ]; then
+              go test ./... -coverprofile=build/coverage.out
+            fi
             args=(
               "-Dsonar.host.url=${SONARQUBE_HOST_URL}"
               "-Dsonar.login=${SONARQUBE_TOKEN}"