Leonidas-from-XIV / dune / 287

Committed 09 Dec 2024 09:48AM UTC coverage: 6.908% (-0.004%) from 6.912%

Build # 287

Build Type

push

github

Committed by

Commit Message

Add pins of dune-project to Dyn representation (#11187)

Signed-off-by: Marek Kubica <marek@tarides.com>

Run Details

0 of 1 new or added line in 1 file covered. (0.0%)

290 existing lines in 8 files now uncovered.

2951 of 42719 relevant lines covered (6.91%)

26667.05 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

37.5

/src/dune_pkg/workspace.ml