use workflow dispatch in docker build

[hakuturu583]

Description

Abstract

Reduced the execution time of Release workflow.

Background

Release workflow included Docker Build step, which was blocking numerous PRs for longer than necessary.

Details

Separated Release workflow and Docker workflow.

• The Docker workflow is executed through the workflow_dispatch API from within the Release workflow only when the Release workflow runs on the master branch immediately after merge. This triggers the Docker Build and image push.
• Since workflow_dispatch can also be executed directly from the GitHub UI, it is now possible to manually trigger it in case the Docker Image is not updated due to some error. See also GitHub official document.

References

The repository has been forked and the modifications have been confirmed to work.

The Docker workflow is failing, but this is because it includes a step to push the image to the GitHub Container Registry of scenario_simulator_v2, and it is deliberately failing as the correct token cannot be provided.
It has been confirmed in the current Release workflow that it works when the correct token is passed.

merge-queue-testing#1

https://github.com/merge-queue-testing/scenario_simulator_v2/actions/runs/10553938073/job/29235018312

Destructive Changes

N/A

Known Limitations

N/A

[github-actions]

Checklist for reviewers ☑️

All references to "You" in the following text refer to the code reviewer.

• Is this pull request written in a way that is easy to read from a third-party perspective?
• Is there sufficient information (background, purpose, specification, algorithm description, list of disruptive changes, and migration guide) in the description of this pull request?
• If this pull request contains a destructive change, does this pull request contain the migration guide?
• Labels of this pull request are valid?
• All unit tests/integration tests are included in this pull request? If you think adding test cases is unnecessary, please describe why and cross out this line.
• The documentation for this pull request is enough? If you think adding documents for this pull request is unnecessary, please describe why and cross out this line.