diff --git a/Jenkinsfile b/Jenkinsfile
index b1b646477..b837f9865 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,8 @@
 pipeline{
 	agent { node { label 'bionic' } }
+	options {
+		timeout(time: 1, unit: 'HOURS')
+	}
 	stages {
 		stage ('Checkout') {
 			steps {