Delete illegal option

2026-02-06 20:59:19 +01:00
parent 408411117c
commit aafc74d876
1 changed files with 1 additions and 3 deletions
--- a/Jenkinsfile.ci
+++ b/Jenkinsfile.ci
@@ -140,9 +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)', shell: '/bin/bash', script: '''
-              set -euo pipefail
-
+            sh(label: 'Comentar en PR (Gitea)', script: '''
              curl -sS -X POST \
              -H "Authorization: token $GITEA_TOKEN" \
              -H "Content-Type: application/json" \