diff --git a/Makefile b/Makefile
index 8118007e54..bbc15aa4ab 100644
--- a/Makefile
+++ b/Makefile
@@ -108,7 +108,7 @@ FEATURE_CUT_LEVEL_SUPPLIED := $(FEATURE_CUT_LEVEL)
 FEATURE_CUT_LEVEL =
 
 # The list of targets to build for 'pre-push'
-PRE_PUSH_TARGET_LIST ?= STM32F405 STM32F411 STM32F7X2 STM32F745 NUCLEOH743 SITL test-representative
+PRE_PUSH_TARGET_LIST ?= STM32F405 STM32F411 STM32F7X2 STM32F745 NUCLEOH743 SITL STM32F4DISCOVERY_DEBUG test-representative
 
 include $(ROOT)/make/targets.mk
 
diff --git a/src/main/target/STM32F4DISCOVERY/STM32F4DISCOVERY_DEBUG.mk b/src/main/target/STM32F4DISCOVERY/STM32F4DISCOVERY_DEBUG.mk
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/src/main/target/STM32F4DISCOVERY/target.h b/src/main/target/STM32F4DISCOVERY/target.h
index 5c506b2d73..9f92dc94c5 100644
--- a/src/main/target/STM32F4DISCOVERY/target.h
+++ b/src/main/target/STM32F4DISCOVERY/target.h
@@ -24,10 +24,14 @@
 #define USBD_PRODUCT_STRING     "STM32F4DISCOVERY"
 
 // These features are in here to get coverage in CI builds
-
 #define USE_SPI_TRANSACTION
 #define USE_STACK_CHECK
 
+#if defined(STM32F4DISCOVERY_DEBUG)
+// Used to test DEBUG builds in CICD
+#define DEBUG
+#endif
+
 //LEDs
 #define LED0_PIN                PD12
 #define LED1_PIN                PD13