Merge pull request #29786 from overleaf/gs-jenkins-gh-issue-web

web: Open GitHub issue in case of pipeline failure
GitOrigin-RevId: 0adbeb4d60cd658eccde42b4ce2874ce2623908f
This commit is contained in:
Gernot Schulz
2025-11-25 09:04:54 +00:00
committed by Copybot
parent d4992914c2
commit 93e6a230c7
+9
View File
@@ -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') {