17.7.1
Description
Abstract
This PR will fix Docker build workflow is not working.
Background
Docker workflow is not ran after #1657
References
Some explanation of push trigger https://blog.chaotic-notes.com/articles/describe-github-actions-on-push/
Note
If this PR will not work, we may use create trigger for tags