Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Use delegated docker mount option to speedup builds (#9441)
Motivation: As we use the docker files for the CI we should use the delegated mount option to speed up builds. See https://docs.docker.com/docker-for-mac/osxfs-caching/#delegated Modifications: Use delegated mount option Result: Faster builds when using docker
- Loading branch information