diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2020-03-28 08:51:26 +0100 |
|---|---|---|
| committer | Marc Glisse <marc.glisse@inria.fr> | 2020-03-28 08:51:26 +0100 |
| commit | c0d9cdcce4b45f941b096d6fcfdf6bf3b82115cf (patch) | |
| tree | 705c7986c0d28eeccb01d4c55f9d2c4b2de8a40f /Dockerfile_for_circleci_image | |
| parent | 06bf756a1a85a18e3ab318caaf9743b3be78cdb9 (diff) | |
pip --no-cache-dir
See if that helps with memory issues...
Diffstat (limited to 'Dockerfile_for_circleci_image')
| -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/* |