Use the built docker image, so it doesn't build the docker image on every run#93

Closed

michael-bud wants to merge 2 commits intopascalgn:masterfrom michael-bud:patch-1

+1-1

Commits on Jul 11, 2020

Use the built docker image, so it doesn't build the docker image on every run
michael-bud
authored

Commits on Jul 12, 2020

Fix it to use the docker prefix
michael-bud
authored