Add dev input

.github/workflows/Procedure_push_docker_images.yml

@@ -102,6 +102,7 @@ jobs:
         echo "* filebeat_module_version: ${{ inputs.filebeat_module_version }}"
         echo "* revision: ${{ inputs.revision }}"
         echo "* push_images: ${{ inputs.push_images }}"
+        echo "* dev: ${{ inputs.dev }}"
         echo "---------------------------------------------"
 
     - name: Checkout repository