aboutsummaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
authorChristian Segundo2024-04-07 05:03:45 +0200
committerChristian Segundo2024-04-07 05:27:21 +0200
commit84454bdd92f934e4de4a75dc2d6e8c4154227d49 (patch)
tree8a7e8ccb52638aacf94212dadefc61f24ef88cde /Jenkinsfile
parentc555d9a7ba5da3b58742811c69e762f024974319 (diff)
downloadlanguagetool-84454bdd92f934e4de4a75dc2d6e8c4154227d49.tar.gz
upload tests
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index e589dd4..ce6bb7f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -21,4 +21,5 @@ pipeline {
steps { sh 'bash .scripts.d/40-publish.sh' }
}
}
+ post { always { junit 'build/reports/*.xml' } }
}