Merge branch 'ci-rules' of gitlab.fi.muni.cz:lemma/kafe into ci-rules