Verified Commit e5891016 authored by David Runge's avatar David Runge
Browse files

gitlab-ci: Call renamed check target

.gitlab-ci.yml:
Change the called make target in the gitlab CI check target to `check` (it has been renamed from `lint`).
parent 874166ec
Pipeline #10082 passed with stages
in 31 minutes and 31 seconds