This repository was archived by the owner on May 13, 2022. It is now read-only.
This repository was archived by the owner on May 13, 2022. It is now read-only.
Cache Docker image #18
Description
Rebuilding the docker image every time takes considerable time - we should cache a docker image with the deps installed (maybe even build that in a Travis cronjob) and then only do an incremental update from there when building.