diff options
| author | Robert Adam <dev@robert-adam.de> | 2020-12-02 17:35:54 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-02 17:35:54 +0300 |
| commit | c97c15059db98f93449138b67b1fa95e1ad30263 (patch) | |
| tree | bfd338abc58fad2e08179d95c6b4f6406f70667c /CMakeLists.txt | |
| parent | d083d2ce9d05ce21d18a55a2483200d0c2f8584c (diff) | |
| parent | d45b8d1e382e895d155f83610e23ddd0f4d9e01e (diff) | |
Merge pull request #4593: MAINT: Reduce Docker size image
Running rm [...] in a separate RUN command inside the Dockerfile does
not have the desired effect due to the way Docker layers work (see
https://cloud.google.com/solutions/best-practices-for-building-containers#reduce_the_amount_of_clutter_in_your_image)
Diffstat (limited to 'CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions