From 7ace66a2b9b7ddc91f1f8460a168ebf5a397b050 Mon Sep 17 00:00:00 2001
From: Daniel Agar <daniel@agar.ca>
Date: Tue, 9 Jul 2019 20:39:00 -0400
Subject: [PATCH] Jenkins hardware increase timeout 10 -> 20 minutes

---
 .ci/Jenkinsfile-hardware | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/.ci/Jenkinsfile-hardware b/.ci/Jenkinsfile-hardware
index 16cf08b929..fcc0cbb307 100644
--- a/.ci/Jenkinsfile-hardware
+++ b/.ci/Jenkinsfile-hardware
@@ -203,7 +203,7 @@ pipeline {
             } // script
           }
           options {
-            timeout(time: 600, unit: 'SECONDS')
+            timeout(time: 20, unit: 'MINUTES')
           }
         }
 
@@ -242,7 +242,7 @@ pipeline {
             sh './Tools/HIL/run_tests.py --device `find /dev/serial -name *usb-FTDI_*`'
           }
           options {
-            timeout(time: 600, unit: 'SECONDS')
+            timeout(time: 20, unit: 'MINUTES')
           }
         }
 
@@ -281,7 +281,7 @@ pipeline {
             sh './Tools/HIL/run_tests.py --device `find /dev/serial -name *usb-FTDI_*`'
           }
           options {
-            timeout(time: 600, unit: 'SECONDS')
+            timeout(time: 20, unit: 'MINUTES')
           }
         }
 
@@ -320,7 +320,7 @@ pipeline {
             sh './Tools/HIL/run_tests.py --device `find /dev/serial -name *usb-FTDI_*`'
           }
           options {
-            timeout(time: 600, unit: 'SECONDS')
+            timeout(time: 20, unit: 'MINUTES')
           }
         }
 
@@ -359,7 +359,7 @@ pipeline {
             sh './Tools/HIL/run_tests.py --device `find /dev/serial -name *usb-FTDI_*`'
           }
           options {
-            timeout(time: 600, unit: 'SECONDS')
+            timeout(time: 20, unit: 'MINUTES')
           }
         }
 
@@ -398,7 +398,7 @@ pipeline {
             sh './Tools/HIL/run_tests.py --device `find /dev/serial -name *usb-FTDI_*`'
           }
           options {
-            timeout(time: 600, unit: 'SECONDS')
+            timeout(time: 20, unit: 'MINUTES')
           }
         }
 
@@ -437,7 +437,7 @@ pipeline {
             sh './Tools/HIL/run_tests.py --device `find /dev/serial -name *usb-FTDI_*`'
           }
           options {
-            timeout(time: 600, unit: 'SECONDS')
+            timeout(time: 20, unit: 'MINUTES')
           }
         }
 
@@ -476,7 +476,7 @@ pipeline {
             sh './Tools/HIL/run_tests.py --device `find /dev/serial -name *usb-FTDI_*`'
           }
           options {
-            timeout(time: 600, unit: 'SECONDS')
+            timeout(time: 20, unit: 'MINUTES')
           }
         }
 
@@ -500,7 +500,7 @@ pipeline {
             } // script
           }
           options {
-            timeout(time: 600, unit: 'SECONDS')
+            timeout(time: 20, unit: 'MINUTES')
           }
         }
 
@@ -538,7 +538,7 @@ pipeline {
             sh './Tools/HIL/run_tests.py --device `find /dev/serial -name *usb-FTDI_*`'
           }
           options {
-            timeout(time: 600, unit: 'SECONDS')
+            timeout(time: 20, unit: 'MINUTES')
           }
         }