Build has been canceled!

1
73%
main: 78%

Ran 05 Dec 2025 03:59PM UTC

Files 335

Run time 17s

Badge

Committed 05 Dec 2025 03:50PM UTC coverage: 73.825%. 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 %.

20544 of 27666 relevant lines covered (74.26%)

0.74 hits per line