Commit 5e059383 authored by Jakub Ružička's avatar Jakub Ružička
Browse files

Merge branch 'make-pylint-optional' into 'master'

pylint: make pylint optional in CI

See merge request !43
parents df6d48e3 c771efee
Pipeline #80358 passed with stages
in 2 minutes and 17 seconds