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

Open

opened

on Nov 15, 2018

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.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests