add yamllint

This commit is contained in:
Michael Grote 2023-10-19 11:12:00 +02:00
parent 275910870a
commit 2ea60807fa

View file

@ -13,5 +13,6 @@ RUN apt-get update && \
debhelper \
git \
curl \
yamllint \
&& apt-get clean && \
rm -rf /var/lib/apt/lists/* /var/tmp/* /tmp/*