Update shell

2026-02-06 20:57:55 +01:00
parent 22f19a2ced
commit 408411117c
1 changed files with 1 additions and 1 deletions
--- 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 \