From 93e6a230c73285802cb77f0604a42ec9f14553a7 Mon Sep 17 00:00:00 2001 From: Gernot Schulz Date: Mon, 24 Nov 2025 10:26:08 +0100 Subject: [PATCH] Merge pull request #29786 from overleaf/gs-jenkins-gh-issue-web web: Open GitHub issue in case of pipeline failure GitOrigin-RevId: 0adbeb4d60cd658eccde42b4ce2874ce2623908f --- services/web/Jenkinsfile | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/services/web/Jenkinsfile b/services/web/Jenkinsfile index 3ca5b620af..19c1f9996f 100644 --- a/services/web/Jenkinsfile +++ b/services/web/Jenkinsfile @@ -374,6 +374,15 @@ pipeline { always { junit checksName: 'Web test results', testResults: 'services/web/data/reports/junit-*.xml,services/web/data/reports/junit-*/**/*.xml' } + failure { + script { + if (env.BRANCH_NAME == 'main') { + node('built-in') { + sh '/usr/local/bin/open-gh-failure-issue' + } + } + } + } // Ensure tear down of test containers, then run general Jenkins VM cleanup. cleanup { dir('services/web') {