.gitlab-ci.d/check-patch: tweak output for CI logs