aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Segundo2024-04-07 03:48:56 +0200
committerChristian Segundo2024-04-07 03:48:56 +0200
commit71ae2a72ca58c46004820486eb10a06f44a5cec0 (patch)
tree1b98c4cf3ae75849f0c161044a4097f8c59a6578
parentd4b6f246e6a16110650a57185b3d9b5acb579cf1 (diff)
downloadlanguagetool-71ae2a72ca58c46004820486eb10a06f44a5cec0.tar.gz
build master weekly
-rw-r--r--Jenkinsfile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 67faa30..e589dd4 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,8 @@
+String cron_string = BRANCH_NAME == "master" ? "@weekly" : ""
+
pipeline {
agent any
+ triggers { cron(cron_string) }
options { ansiColor('xterm') }
stages {
stage('Check') {