21257511033

Committed 22 Jan 2026 05:05PM UTC coverage: 86.612% (-0.05%) from 86.664%

Build Type

github

Committed by

Commit Message

Merge d0e117757 into 664c409d3

Run Details

11 of 18 new or added lines in 2 files covered. (61.11%)

9038 of 10435 relevant lines covered (86.61%)

3862225.63 hits per line

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

86.08

/src/crab/array_domain.cpp