From 54d8043e5cb40a221048ac0255ab4bb65434f67d Mon Sep 17 00:00:00 2001 From: Petitminion Date: Thu, 20 Jul 2023 15:06:52 +0200 Subject: [PATCH] lint Part-of: --- api/Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/api/Dockerfile b/api/Dockerfile index b9b279a89..2d03a7437 100644 --- a/api/Dockerfile +++ b/api/Dockerfile @@ -71,7 +71,7 @@ RUN --mount=type=cache,target=~/.cache/pip; \ ARG install_dev_deps=0 RUN --mount=type=cache,target=~/.cache/pip; \ - set -eux; \ + set -eux; \ if [ "$install_dev_deps" = "1" ] ; then \ grep -Ev 'cryptography|lxml|pillow|psycopg2|watchfiles' /dev-requirements.txt \ | pip3 install -r /dev/stdin \ @@ -114,7 +114,7 @@ COPY . /app WORKDIR /app RUN --mount=type=cache,target=~/.cache/pip; \ - set -eux; \ + set -eux; \ pip3 install --no-deps --editable . ENV IS_DOCKER_SETUP=true