From 6d82fc46be021775cf4f9195251706485d0dc9d4 Mon Sep 17 00:00:00 2001 From: Stephan Lukasczyk Date: Fri, 6 Dec 2024 11:57:08 +0100 Subject: [PATCH] Sort packages alphabetically --- docker/Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index e7ffa935..b168d553 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -62,8 +62,8 @@ RUN apt-get update && apt-get install -y --no-install-recommends \ && rm -rf /var/lib/apt/lists/* RUN pip install /pynguin/pynguin-${PYNGUIN_VERSION}-py3-none-any.whl \ - typing-extensions==4.12.2 \ - mypy==1.13.0 + mypy==1.13.0 \ + typing-extensions==4.12.2 ENTRYPOINT ["/pynguin/pynguin-docker.sh"] CMD []