Dockerhub 'latest' tag is currently published only if the release is created in the main branch

Release can be created in any release branch, not only on the main branch.

To identify a final release vs a pre-release, add a new boolean is_final_release to the github workflow to select whether it is a final one and we want to update the corresponding Dockerhub tag 'latest'.