GitHub Actions: docker tags #32
Description
The workflow probably does not yet push a nice docker tag if git tag 1.2.3 was pushed.
See https://github.com/docker/metadata-action#typesemver
Also unknown if 1.2.3 would work because docs only mention v1.2.3.