diff --git a/.ci/Jenkinsfile-compile b/.ci/Jenkinsfile-compile
index f6dc68e418..3f28381db4 100644
--- a/.ci/Jenkinsfile-compile
+++ b/.ci/Jenkinsfile-compile
@@ -31,6 +31,7 @@ pipeline {
                     sh('ccache -z')
                     sh('make posix_sitl_default')
                     sh('ccache -s')
+                    sh('make tests')
                   }
                   catch (exc) {
                     throw (exc)