Repository navigation

🔧 Maintenance round - #505

Merged

burgholzer merged 3 commits into

mainfrom

maintenance-round

Oct 12, 2026

Merged

🔧 Maintenance round#505
burgholzer merged 3 commits into
mainfrom
maintenance-round

Commits on Oct 12, 2026
- Maintenance round
  denialhaag
  committed
  617a927
- Make test group self-contained
  denialhaag
  committed
  95944cc
- Merge remote-tracking branch 'origin/main' into maintenance-round
  denialhaag
  committed
  d1e9fdb