Automatically push Docker image to Docker Hub#10

Merged

verdammelt merged 2 commits intomasterfrom ci-dockerhub

Nov 6, 2020

+1-1

Commits on Nov 5, 2020

Add Dockerhub GHA workflow
ErikSchierboom
committed

Commits on Nov 6, 2020

Remove typo'd directory.
verdammelt
committed