Repository navigation

Improve JUnit Platform and Jupiter reporting - #1315

Merged

baev merged 2 commits into

mainfrom

improve-jupiter-integration

Jul 9, 2026

Merged

Improve JUnit Platform and Jupiter reporting#1315
baev merged 2 commits into
mainfrom
improve-jupiter-integration

Commits on Jul 9, 2026
- rework jupiter integration
  baev
  committed
  a29a70d
- spotless
  baev
  committed
  af2f21e