Repository navigation

P23: coverage after Tests (capability coverage, opt-in) - #39

Merged

cedricvogel-leo merged 2 commits into

mainfrom

feature/coverage

Oct 29, 2026

Merged

P23: coverage after Tests (capability coverage, opt-in)#39
cedricvogel-leo merged 2 commits into
mainfrom
feature/coverage

Commits on Oct 29, 2026
- P23: coverage after Tests (capability coverage, opt-in)
  
  cedricvogel-leo
  and
  claude
  committed
  f95bbe6
- Coverage marks in the hints' colours: the editor's background is --glp-surface
  
  cedricvogel-leo
  and
  claude
  committed
  f543b7a