diff --git a/.ci/Jenkinsfile-compile b/.ci/Jenkinsfile-compile
index d85e75266d..71b49ea5c2 100644
--- a/.ci/Jenkinsfile-compile
+++ b/.ci/Jenkinsfile-compile
@@ -73,7 +73,6 @@ pipeline {
                      "px4_fmu-v2_multicopter",
                      "px4_fmu-v2_rover",
                      "px4_fmu-v2_test",
-                     "px4_fmu-v3_ctrlalloc",
                      "px4_fmu-v3_default",
                      "px4_fmu-v4_cannode",
                      "px4_fmu-v4_default",