From 9c036a426574082c326a181300d71f17439cfd02 Mon Sep 17 00:00:00 2001
From: Timo Heister <timo.heister@gmail.com>
Date: Mon, 8 Apr 2019 08:17:43 -0600
Subject: [PATCH] [CI]: run quicktests

also execute the quicktests as part of CI
---
 Jenkinsfile                | 2 ++
 contrib/ci/Jenkinsfile.osx | 1 +
 2 files changed, 3 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 48064a8afb..4f94fc4410 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -131,6 +131,7 @@ pipeline
                  -D DEAL_II_UNITY_BUILD=ON \
                  $WORKSPACE/
                time ninja -j $NP
+               time ninja test # quicktests
                time ninja setup_tests
                time ctest --output-on-failure -DDESCRIPTION="CI-$JOB_NAME" -j $NP --no-compress-output -T test
             '''
@@ -182,6 +183,7 @@ pipeline
                   -D DEAL_II_UNITY_BUILD=OFF \
                   $WORKSPACE/
                 time ninja -j $NP
+                time ninja test # quicktests
                 time ninja setup_tests
                 time ctest -R "all-headers|multigrid/transfer" --output-on-failure -DDESCRIPTION="CI-$JOB_NAME" -j $NP --no-compress-output -T test
             '''
diff --git a/contrib/ci/Jenkinsfile.osx b/contrib/ci/Jenkinsfile.osx
index c214ca0a8e..8538cbdcdd 100644
--- a/contrib/ci/Jenkinsfile.osx
+++ b/contrib/ci/Jenkinsfile.osx
@@ -94,6 +94,7 @@ pipeline
                       -D DEAL_II_CXX_FLAGS='-Werror' \
                       -D CMAKE_BUILD_TYPE=Debug \
                       $WORKSPACE/ && make -j 4
+                    make test # quicktests
                  '''
             }
           }
-- 
2.39.5