5
53%
main: 53%

Ran 12 Jan 2026 10:06PM UTC

Files 498

Run time 12s

Badge

Committed 12 Jan 2026 10:03PM UTC coverage: 9.829%. Remained the same

Build Type

push

github

Committed by

Commit Message

fix: add monoid to state

Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com>

Run Details

2727 of 27744 relevant lines covered (9.83%)

0.85 hits per line