message: Increased build timeout from 3 to 4 hours, as qemu based Raspberry Pi build took ages... :-/
diff: @@ -6,7 +6,7 @@ pipeline {
  }
  options {
  timestamps()
  - timeout(time: 3, unit: 'HOURS')
  + timeout(time: 4, unit: 'HOURS')
  buildDiscarder(logRotator(numToKeepStr: '30', artifactNumToKeepStr: '1'))
  disableConcurrentBuilds()
  }
  