Cache docker images #16
Description
As noted by @ianhbell via email: "pulling the docker container every time makes the builds pretty slow from start to finish. There seem to be some means of caching the docker image: https://stackoverflow.com/questions/66421411/how-to-run-cached-docker-image-in-github-action"