4
73%
main: 78%

Ran 05 Dec 2025 04:00PM UTC

Files 335

Run time 16s

Badge

Committed 05 Dec 2025 03:50PM UTC coverage: 73.864%. First build

Build Type

push

github

Committed by

Commit Message

docs: cross-reference the commitments section and the linear problem formulation

Signed-off-by: F.N. Claessen <felix@seita.nl>

Run Details

1391 of 2046 branches covered (67.99%)

Branch coverage included in aggregate %.

20582 of 27702 relevant lines covered (74.3%)

0.74 hits per line