• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

cryspen / hacl-packages
48%

Build:
DEFAULT BRANCH: main
Repo Added 02 Aug 2022 09:51AM UTC
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 main
branch: SELECT
CHANGE BRANCH
x
  • No branch selected
  • dev
  • franziskus/hacl-update-exp
  • gh-readonly-queue/main/pr-421-df9faeeaa8c117299d6acd6e4a78a397c719df48
  • gh-readonly-queue/main/pr-426-c6d3969f8930e37c5bf71e65c74b18d8f2a313f7
  • gh-readonly-queue/main/pr-427-1a0f62c0b5e4bafa5bc1da5aef4cc9ad2ef43547
  • main
  • refs/heads/main

30 Sep 2024 06:46AM UTC coverage: 48.135%. Remained the same
11100844098

push

github

web-flow
Merge pull request #477 from cryspen/opam_0_7_2

OCaml API: bump opam package version to 0.7.2

29403 of 61085 relevant lines covered (48.13%)

1067323.65 hits per line

Relevant lines Covered
Build:
Build:
61085 RELEVANT LINES 29403 COVERED LINES
1067323.65 HITS PER LINE
Source Files on main
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
11100844098 main Merge pull request #477 from cryspen/opam_0_7_2 OCaml API: bump opam package version to 0.7.2 push 30 Sep 2024 06:57AM UTC web-flow github
48.13
11074557000 opam_0_7_2 Merge 3542b9eab into 584c54283 Pull #477 27 Sep 2024 05:03PM UTC web-flow github
48.13
9681994830 dev Merge pull request #469 from s-zanella/dev Simplify build workflow Pull #474 26 Jun 2024 03:07PM UTC web-flow github pending completion  
9609869829 dev Merge b825ccf35 into 41e3f7b70 Pull #469 21 Jun 2024 07:37AM UTC 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 21 Jun 2024 07:30AM UTC web-flow github
59.06
9588066057 protz_libb2 Merge 584284ea7 into 584c54283 Pull #458 19 Jun 2024 09:09PM UTC web-flow github
48.13
9572375265 protz_libb2 Merge 2b9bc0b2d into 584c54283 Pull #458 18 Jun 2024 09:28PM UTC web-flow github
48.13
9572050723 protz_libb2 Merge c5ed38118 into 584c54283 Pull #458 18 Jun 2024 09:02PM UTC web-flow github
48.13
9571876460 protz_libb2 Merge f50d17088 into 584c54283 Pull #458 18 Jun 2024 08:46PM UTC web-flow github
48.13
9567064699 protz_libb2 Merge 1b65f4e8e into 584c54283 Pull #458 18 Jun 2024 02:46PM UTC web-flow github
48.13
See All Builds (894)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc