Skip to content

feat(annotated): clarify and improve mutex groups#1693

Merged
tleonhardt merged 1 commit into
mainfrom
feat/annotated-mutex-in-group
Jun 14, 2026
Merged

feat(annotated): clarify and improve mutex groups#1693
tleonhardt merged 1 commit into
mainfrom
feat/annotated-mutex-in-group

feat(annotated): let a mutually exclusive group declare its own title…

1658862
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jun 13, 2026 in 1s

100.00% of diff hit (target 99.57%)

View this Pull Request on Codecov

100.00% of diff hit (target 99.57%)

View more details on Codecov