• 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
  • Tree
  • List 82
  • Changed 1
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

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

© 2025 Coveralls, Inc