From 408411117c293e4fd7940cd56dd2c2a1b2427017 Mon Sep 17 00:00:00 2001 From: Jose Date: Fri, 6 Feb 2026 20:57:55 +0100 Subject: [PATCH] Update shell --- Jenkinsfile.ci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile.ci b/Jenkinsfile.ci index a075521..2ba05e9 100644 --- a/Jenkinsfile.ci +++ b/Jenkinsfile.ci @@ -140,7 +140,7 @@ post { // Avoid interpolation of secret variables (https://www.jenkins.io/doc/book/pipeline/jenkinsfile/#string-interpolation) withEnv(["GITEA_COMMENTS_URL=${commentsUrl}", "GITEA_BODY=${body}"]) { - sh(label: 'Comentar en PR (Gitea)', script: ''' + sh(label: 'Comentar en PR (Gitea)', shell: '/bin/bash', script: ''' set -euo pipefail curl -sS -X POST \