5
52%
main: 52%

Ran 12 Jan 2026 09:38PM UTC

Files 498

Run time 12s

Badge

Committed 12 Jan 2026 09:32PM UTC coverage: 9.829%. Remained the same

Build Type

push

github

Committed by

Commit Message

fix: implement monoid for Pair

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