Skip to content
Snippets Groups Projects
Verified Commit e37d9fa7 authored by georg's avatar georg
Browse files

linting: drop installing mypy via pip, pull from Debian unstable

parent f5ec1992
No related branches found
No related tags found
No related merge requests found
Pipeline #30390 passed
......@@ -6,11 +6,10 @@ RUN apt-get update \
gir1.2-gdkpixbuf-2.0 \
gir1.2-poppler-0.18 \
gir1.2-rsvg-2.0 \
mypy \
pyflakes3 \
pylint3 \
python3-bandit \
python3-gi-cairo \
python3-mutagen \
python3-pip \
&& rm -rf /var/cache/apt/* /var/lib/apt/lists/* \
&& pip3 install mypy
&& rm -rf /var/cache/apt/* /var/lib/apt/lists/*
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment