Repository navigation

refactor label handling - #310

Open

jhauschild wants to merge 3 commits into

mainfrom

refactor_labelled_legs

Open

refactor label handling#310
jhauschild wants to merge 3 commits into
mainfrom
refactor_labelled_legs

Commits on Oct 28, 2026
- refactor label handling
  jhauschild
  committed
  3912291
- add explicit test for label API
  jhauschild
  committed
  aa6b598
Commits on Nov 12, 2026
- Merge branch 'main' into refactor_labelled_legs
  jhauschild
  committed
  c8bffa8