From 2ea60807fa8f4c6a60d13b3ac23dc301ca737926 Mon Sep 17 00:00:00 2001 From: Michael Grote Date: Thu, 19 Oct 2023 11:12:00 +0200 Subject: [PATCH] add yamllint --- Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/Dockerfile b/Dockerfile index cff655c..20002d5 100644 --- a/Dockerfile +++ b/Dockerfile @@ -13,5 +13,6 @@ RUN apt-get update && \ debhelper \ git \ curl \ + yamllint \ && apt-get clean && \ rm -rf /var/lib/apt/lists/* /var/tmp/* /tmp/*