I dont think there is a need to upload the elf

utils/rename_binaries.sh

@@ -8,7 +8,7 @@ mkdir -p distrib
 DATE=$(date +%Y-%m-%d)
 VERSION=$(git describe --always)
 
-for file in $(ls .pio/build/*/*.bin .pio/build/*/*.elf .pio/build/*/*.uf2)
+for file in $(ls .pio/build/*/*.bin .pio/build/*/*.uf2)
 do
     NEWNAME=$(echo $file | sed 's|.pio/build/\([^/]*\)/\(.*\)\.\(.*\)|\1_'$DATE'_'$VERSION'.\3|')
     echo $file to distrib/$NEWNAME