Retry publication before reporting build as failure.

[webbertakken]

Changes

• This duplicates build and publish step, executed only when it fails initially.
• I expect that 90% or more of the failures should be mitigated in this way, in particular:
  • Failure during the build phase, where some dependency download isn't received properly
  • Connection interrupted while pushing the image to dockerhub
  • Failure with one of the calls to apply one of the tags

Considered alternatives

• Added this use case as rationale to github community thread about retrying steps. Ideally we'd just set the step to retry up to 2 times instead of duplicating all this code.

Checklist

• Read the contribution guide and accept the code of conduct
• Readme (updated or not needed)

[github-actions]