cryspen / hacl-packages
59%
main: 48%

LAST BUILD BRANCH: opam_0_7_2
DEFAULT BRANCH: main
Repo Added
Files 82
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH dev
branch: dev
CHANGE BRANCH
x

9681994830

Pull #474

github

web-flow 
Merge pull request #469 from s-zanella/dev

Simplify build workflow
Pull Request #474: Dev -> main

38622 of 65390 relevant lines covered (59.06%)

1006162.93 hits per line

Relevant lines Covered
65390 RELEVANT LINES 38622 COVERED LINES
1006162.93 HITS PER LINE
Source Files on dev
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
9681994830 dev Merge pull request #469 from s-zanella/dev Simplify build workflow Pull #474 web-flow github pending completion  
9609869829 dev Merge b825ccf35 into 41e3f7b70 Pull #469 web-flow github
59.06
9609866152 dev Merge pull request #466 from samuel-lee-msft/avoidMSVCdesignatedInitializers Fix MSVC+CPP issue with including eurydice_glue.h w/ C++17 push web-flow github
59.06
9565074420 dev Update .clabot push franziskuskiefer github
59.06
9158340974 dev Merge 829c842df into aee06b108 Pull #469 web-flow github
59.06
9096505835 dev Merge pull request #463 from cryspen/protz_all_kyber_variants Add all variants of kyber to hacl-packages, with compilation and all push web-flow github
59.06
8723980584 dev Merge pull request #453 from cryspen/franziskus/ml-kem-c-update ml kem c update push web-flow github
59.06
7923210392 dev Refresh with latest eurydice/kyber-crate push msprotz github
57.51
7571008678 dev Merge pull request #443 from mamonet/sha3-mb Change order of SHA3 Scalar/Simd256 parameters push web-flow github
57.51
7420995517 dev Add libcrux kyber (#442) Co-authored-by: xvzcf <xvzcf@users.noreply.github.com> Co-authored-by: Jonathan Protzenko <protz@microsoft.com> push web-flow github
59.1
See All Builds (894)