From 092f1c65afaccea8d0fb986a9daf6de7b4edd059 Mon Sep 17 00:00:00 2001
From: David Prevot <dprevot+git@evolix.fr>
Date: Wed, 20 Jul 2022 11:12:35 +0200
Subject: [PATCH] Jenkins CI: daily build

---
 .Jenkinsfile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.Jenkinsfile b/.Jenkinsfile
index 7c0c2af..7fc41c5 100644
--- a/.Jenkinsfile
+++ b/.Jenkinsfile
@@ -1,6 +1,10 @@
 pipeline {
     agent { label 'docker' }
 
+    triggers {
+        cron('@daily')
+    }
+
     stages {
         stage('Build gbp') {
             steps {