Update Dockerfile and build-docker workflow#2666

Merged

abitmore merged 8 commits intodevelopfrom update-build-docker

Nov 7, 2022

+71-19

Commits on Oct 30, 2022

Update Docker Hub repository path to a variable
abitmore
authored

Commits on Oct 31, 2022

Push the major.minor version tag to Docker Hub too
abitmore
committed

Commits on Nov 7, 2022

Fix a typo in a comment
abitmore
authored