diff --git a/ci/jenkins/spotbugs-check.Jenkinsfile b/ci/jenkins/spotbugs-check.Jenkinsfile index c190771d5f70a75a0fb584bd6e026d6fd8dad2d3..725fa0eaefdf2050898e693bc4a981188b695865 100644 --- a/ci/jenkins/spotbugs-check.Jenkinsfile +++ b/ci/jenkins/spotbugs-check.Jenkinsfile @@ -1,5 +1,8 @@ pipeline { agent any + triggers { + cron('H 4 * * 1') // each Monday + } options { disableConcurrentBuilds() }