docker-base-images icon indicating copy to clipboard operation
docker-base-images copied to clipboard

Published 20 hours ago • verified publisher icon ocurrent

Reduce size of opam-repository git clone

Open talex5 opened this issue 3 years ago • 2 comments

At the moment, we copy in the cluster worker's clone of opam-repository, which includes all branches and PRs.

We should instead just clone the master branch directly within the Dockerfile.

talex5 avatar Nov 19 '20 10:11 talex5