4
100%
main: 100%

Ran 24 Jul 2024 02:09PM UTC

Files 23

Run time 8s

Badge

Committed 24 Jul 2024 02:06PM UTC coverage: 98.417% (+0.001%) from 98.416%

Build Type

push

github

Committed by

Commit Message

Merge pull request #72 from tomato42/docs-for-default-kyber

document the default Kyber parameters, minor fix in Kyber docs

Run Details

514 of 527 branches covered (97.53%)

Branch coverage included in aggregate %.

1351 of 1368 relevant lines covered (98.76%)

0.99 hits per line