Commit 18f91a39 authored by Kevin Daudt's avatar Kevin Daudt

merge: create docker image with lint tools included

See merge request !1
parents 314aa1a4 cbe79fdf
Pipeline #152 passed with stages
in 52 seconds