Fix Docker layer cache - Githubissues

binder-examples / continuous-build

Show how to use continuous integration to test your dependency specifications

BSD 3-Clause "New" or "Revised" License

8 stars 10 forks source link

Fix Docker layer cache #20

Closed davidar closed 5 years ago

davidar commented 5 years ago

This makes sure that all the image layers are added to the cache, and allows the cache to be refreshed by changing the CACHE_VERSION environment variable (as CircleCI cache keys are immutable). It also makes sure git submodules are checked out (for repos that use them, no-op otherwise).

betatim commented 5 years ago

Thanks!