diff --git a/.ci/Jenkinsfile-compile b/.ci/Jenkinsfile-compile
index 0431761e98..c482b14d45 100644
--- a/.ci/Jenkinsfile-compile
+++ b/.ci/Jenkinsfile-compile
@@ -47,7 +47,7 @@ pipeline {
                      "ark_fmu-v6x_bootloader",
                      "ark_fmu-v6x_default",
                      "ark_pi6x_bootloader",
-                     "ark_pi6x_default"
+                     "ark_pi6x_default",
                      "atl_mantis-edu_default",
                      "av_x-v1_default",
                      "bitcraze_crazyflie21_default",