diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2020-03-28 08:53:39 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-28 08:53:39 +0100 |
commit | c669664a7bdda51d31410b6fa0f7c41e9e616b07 (patch) | |
tree | 705c7986c0d28eeccb01d4c55f9d2c4b2de8a40f | |
parent | 06bf756a1a85a18e3ab318caaf9743b3be78cdb9 (diff) | |
parent | c0d9cdcce4b45f941b096d6fcfdf6bf3b82115cf (diff) |
Merge pull request #264 from mglisse/pip
pip --no-cache-dir
-rw-r--r-- | Dockerfile_for_circleci_image | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image index 1eededb5..20754e2a 100644 --- a/Dockerfile_for_circleci_image +++ b/Dockerfile_for_circleci_image @@ -51,7 +51,7 @@ ADD .github/build-requirements.txt / ADD .github/test-requirements.txt / RUN pip3 install -r build-requirements.txt -RUN pip3 install -r test-requirements.txt +RUN pip3 --no-cache-dir install -r test-requirements.txt # apt clean up RUN apt autoremove && rm -rf /var/lib/apt/lists/* |