diff --git a/Jenkinsfile b/Jenkinsfile
index f0e89c9004b53338469dc39bf74aada4cc255784..7a4a09ff1cd65b6e4f1b179b1efed38dcd6c3f87 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -215,6 +215,11 @@ pipeline {
               cd ${WKC}/tests
               ./test-all.sh b3fq
               date'''
+              sh '''
+              date
+              cd ${WKC}/tests
+              ./test-all.sh full example
+              date'''
             }
           }
         }
@@ -272,12 +277,7 @@ pipeline {
               date
               cd ${WKC}/tests
               ./test-all.sh b7fq
-              date'''
-              sh '''
-              date
-              cd ${WKC}/tests
-              ./test-all.sh full example
-              date'''
+              date'''              
             }
           }
         }