Automate docker image build and push to dockerhub#55

Open

quarkytale wants to merge 4 commits intomainfrom docker_ci

+47

Commits on Jun 13, 2023

docker image push workflow
quarkytale
committed

Commits on Jun 15, 2023

Merge branch 'main' into docker_ci
quarkytale
authored

Commits on Jun 22, 2023

latest-rc tag by default
quarkytale
authored

Commits on Sep 25, 2023

Merge branch 'main' into docker_ci
andermi
authored