diff --git a/Jenkinsfile b/Jenkinsfile
index 0dfa9ed24f49f8063f715d1c51adb33f2939f117..52483f8a133ad80016121d5ec8eb0132c0b6b014 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -23,6 +23,8 @@ pipeline {
                       sh "ccache -z"
                       sh "git fetch --tags"
                       sh "make nuttx_${node_name}_default"
+                      sh "bloaty -n 100 -d symbols -s file `find . -name *.elf`"
+                      sh "bloaty -n 100 -d compileunits -s file `find . -name *.elf`"
                       sh "make nuttx_${node_name}_rtps"
                       sh "make sizes"
                       sh "ccache -s"
@@ -49,6 +51,8 @@ pipeline {
                     sh "git fetch --tags"
                     sh "make px4io-v2_default"
                     sh "make nuttx_px4fmu-v2_default"
+                    sh "bloaty -n 100 -d symbols -s file `find . -name *.elf`"
+                    sh "bloaty -n 100 -d compileunits -s file `find . -name *.elf`"
                     sh "make nuttx_px4fmu-v2_lpe"
                     sh "make nuttx_px4fmu-v3_default"
                     sh "make nuttx_px4fmu-v3_rtps"