7117709786
59%
main: 48%

Ran 06 Dec 2023 05:08PM UTC

Jobs 1

Files 83

Run time 8s

Badge

Embed ▾

Committed 06 Dec 2023 04:59PM UTC coverage: 59.089%. Remained the same

Build # 7117709786

Build Type

push

github

Committed by

web-flow

Commit Message

Added a dummy Kyber implementation and test scaffolding (#438)

* Added Kyber768 consistency test using a dummy implementation of Kyber.
* Added Kyber768 KAT tests.
* Update default_config.cmake
* Build libcrux separately in CMakeLists.txt
* Don't build libcrux by default.

Run Details

37671 of 63753 relevant lines covered (59.09%)

1030582.78 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	7117709786.1	06 Dec 2023 05:08PM UTC	0	59.09	GitHub Action Run

Source Files on build 7117709786

Detailed source file information is not available for this build.

cryspen / hacl-packages / 7117709786
59%
main: 48%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 7117709786

cryspen / hacl-packages / 7117709786 59% main: 48%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 7117709786

cryspen / hacl-packages / 7117709786
59%
main: 48%

README BADGES
x