Disallow failure of checkstyle-mr job to block merge request #22
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Feature Request
Summary
Merge requests should be blocked if
checkstyle-mrjob fails, allowing the contributor to adress these issues.Required workarround
After the MR has been merged, its required to create another branch (
chore/...) to address these issues.This workaround unnecessarily complicates the fix and makes it harder to track the history.
Description
Modify job to disallow failure.
Checklist
I reproduced the problem using the steps aboveI searched documentation docs for relevant informationassigned to @lars.winzer
created branch
feat/22-disallow-failure-of-checkstyle-mr-jobto address this issuemarked this task as related to #24
mentioned in merge request !54
Closed by https://git.scicore.unibas.ch/cs108-fs26/Gruppe-13/-/merge_requests/54
added 30m of time spent at 2026-03-30 12:00:00 +0200