ci.inria.fr: move the v2.10 nightly build to a different time

Reuse the timeslot of v2.5 which is unlikely to ever run again. Signed-off-by: Brice Goglin <Brice.Goglin@inria.fr>
bgoglin · Nov 9, 2023 · ae5bf7e · ae5bf7e
1 parent 0888b51
commit ae5bf7e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/contrib/ci.inria.fr/Jenkinsfile b/contrib/ci.inria.fr/Jenkinsfile
@@ -48,7 +48,7 @@ pipeline {
 	// Trigger the build
 	triggers {
 		// extended/* jobs poll GitHub explicitly once per night, in case webhooks aren't used
-		pollSCM(isExtendedJob ? '0 5 * * *' : '')
+		pollSCM(isExtendedJob ? '0 4 * * *' : '')
 	}
 
         stages {