diff options
| author |  S. Co1 <[email protected]> | 2019-09-24 13:33:20 -0400 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2019-09-24 13:33:20 -0400 |
| commit | 0046b8b362f1f892531ddf97fd17cb02e1debc2b (patch) | |
| tree | ebcc8c52948189abd5da9048cf789507c1cfc48d /docker | |
| parent | Prevent false-positives of the rich embed filter (diff) | |
| parent | Merge pull request #443 from Akarys42/master (diff) | |
Merge branch 'master' into rich-embed-false-positive-fix
Diffstat (limited to 'docker')
| -rw-r--r-- | docker/ci.Dockerfile | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/docker/ci.Dockerfile b/docker/ci.Dockerfile deleted file mode 100644 index fd7e25239..000000000 --- a/docker/ci.Dockerfile +++ /dev/null @@ -1,20 +0,0 @@ -FROM python:3.6-alpine3.7 - -RUN apk add --update docker \ - curl \ - tini \ - build-base \ - libffi-dev \ - zlib \ - jpeg-dev \ - libxml2 libxml2-dev libxslt-dev \ - zlib-dev \ - freetype-dev - -RUN pip install pipenv - -ENV LIBRARY_PATH=/lib:/usr/lib -ENV PIPENV_VENV_IN_PROJECT=1 -ENV PIPENV_IGNORE_VIRTUALENVS=1 -ENV PIPENV_NOSPIN=1 -ENV PIPENV_HIDE_EMOJIS=1 |