1
62%
master: 68%

Ran 02 Jun 2023 09:57AM UTC

Files 319

Run time 10min

Badge

Committed 02 Jun 2023 09:54AM 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

Coverage Stats

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