1
62%
master: 68%

Ran 14 Jun 2023 01:59PM UTC

Files 319

Run time 13s

Badge

Committed 14 Jun 2023 01:55PM UTC coverage: 62.167%. Remained the same

Build Type

push

github

Committed by

Commit Message

Merge remote-tracking branch 'origin/master' into IZK_cond_exp_dual

Run Details

1967 of 4467 branches covered (44.03%)

Branch coverage included in aggregate %.

11951 of 17921 relevant lines covered (66.69%)

0.67 hits per line