Avoid pulling if image already exists locally.#377

Merged

bors[bot] merged 1 commit intocross-rs:masterfrom reitermarkus:docker-build

Mar 13, 2020

+1-1

Commits on Feb 20, 2020

Avoid pulling if image already exists locally.
reitermarkus
committed