Currently, development Docker images that are created through the dev-docker.yml workflow cannot be pushed to the GitHub registry, because:
images can be pushed only on specific flag setting, which can only be done through manual input
manual input is not possible, as there is no workflow_dispatch event handler defined
Questions/Ideas
The fix consists in replacing the workflow_call event handler with the workflow_dispatch event handler, as there is no need for the former (the docker building workflow is not called from any other workflow).
Description
Currently, development Docker images that are created through the
dev-docker.ymlworkflow cannot be pushed to the GitHub registry, because:workflow_dispatchevent handler definedQuestions/Ideas
workflow_callevent handler with theworkflow_dispatchevent handler, as there is no need for the former (the docker building workflow is not called from any other workflow).