6
53%
main: 53%

Ran 12 Jan 2026 10:06PM UTC

Files 717

Run time 17s

Badge

Committed 12 Jan 2026 10:03PM UTC coverage: 40.159%. 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

16592 of 41316 relevant lines covered (40.16%)

49.73 hits per line