diff --git a/.ci/Jenkinsfile-hardware b/.ci/Jenkinsfile-hardware index 062c9ba8cf..e865659caf 100644 --- a/.ci/Jenkinsfile-hardware +++ b/.ci/Jenkinsfile-hardware @@ -9,7 +9,7 @@ pipeline { stage('px4_fmu-v4_default') { agent { docker { - image 'px4io/px4-dev-nuttx:2019-01-27' + image 'px4io/px4-dev-nuttx:2019-02-03' args '-e CCACHE_BASEDIR=$WORKSPACE -v ${CCACHE_DIR}:${CCACHE_DIR}:rw' } } @@ -34,7 +34,7 @@ pipeline { stage('px4_fmu-v4_stackcheck') { agent { docker { - image 'px4io/px4-dev-nuttx:2019-01-27' + image 'px4io/px4-dev-nuttx:2019-02-03' args '-e CCACHE_BASEDIR=$WORKSPACE -v ${CCACHE_DIR}:${CCACHE_DIR}:rw' } } @@ -95,7 +95,7 @@ pipeline { } // script } options { - timeout(time: 300, unit: 'SECONDS') + timeout(time: 600, unit: 'SECONDS') } } @@ -131,7 +131,7 @@ pipeline { } // script } options { - timeout(time: 300, unit: 'SECONDS') + timeout(time: 600, unit: 'SECONDS') } }