cryspen / hacl-packages
53%
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 gh-readonly-queue/main/pr-426-c6d3969f8930e37c5bf71e65c74b18d8f2a313f7
branch: gh-readonly-queue/main/pr-426-c6d3969f8930e37c5bf71e65c74b18d8f2a313f7
CHANGE BRANCH
x

coverage: 52.864% (+0.1%) from 52.764%
6322102929

push

github

web-flow 
update hacl to <a class=hub.com/cryspen/hacl-packages/commit/a9146dc1bf9671406bccde3d9b66e72742349698">a9146dc1b (#426)

* update hacl to a9146dc1bf9671406bccde3d9b66e72742349698

* try to handle case sensitive headers

* update names

* update bindgen

* updated to hacl-star/hacl-star#853

* install clang-15 on ci (potential fix for bindgen)

* update to ad60c9d98

* Update rust.yml

* Update rust.yml

* update info.txt

923 of 923 new or added lines in 41 files covered. (100.0%)

29033 of 54920 relevant lines covered (52.86%)

1191732.36 hits per line

Relevant lines Covered
54920 RELEVANT LINES 29033 COVERED LINES
1191732.36 HITS PER LINE
Source Files on gh-readonly-queue/main/pr-426-c6d3969f8930e37c5bf71e65c74b18d8f2a313f7

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
6322102929 gh-readonly-queue/main/pr-426-c6d3969f8930e37c5bf71e65c74b18d8f2a313f7 update hacl to hub.com/cryspen/hacl-packages/commit/a9146dc1bf9671406bccde3d9b66e72742349698">a9146dc1b (#426) * update hacl to a9146dc1bf9671406bccde3d9b66e72742349698 * try to handle case sensitive headers * update names * update bindgen * updated to hacl-star/hacl-star#853 * install cl... push web-flow github
52.86
See All Builds (894)