Retry Jenkins CI tests up to 3 times to improve reliability (redux) (#3776)

2018-10-08 11:39:00 -07:00
parent 6d42e56c85
commit 11eaf3eed1
1 changed files with 15 additions and 16 deletions
--- a/9
+++ b/9
@@ -48,13 +48,11 @@ pipeline {
            }
        }
        stage('Jenkins: Build doc') {
-            retry(3) {
-                agent {
-                    label 'linux && cpu && restricted'
-                }
            steps {
-                    unstash name: 'srcs'
                script {
+                    retry(3) {
+                        node('linux && cpu && restricted') {
+                            unstash name: 'srcs'
                            def commit_id = "${GIT_COMMIT}"
                            def branch_name = "${GIT_LOCAL_BRANCH}"
                            echo 'Building doc...'
@@ -70,6 +68,7 @@ pipeline {
                    }
                }
            }
+        }

        stage('Jenkins: Build artifacts') {
            steps {