6
55%
main: 55%

Ran 12 Jan 2026 10:06PM UTC

Files 717

Run time 17s

Badge

Committed 12 Jan 2026 10:03PM UTC coverage: 40.159% (+0.01%) from 40.146%

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

16592 of 41316 relevant lines covered (40.16%)

50.52 hits per line