• 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: main
CHANGE BRANCH
x
Reset
  • main
  • 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
  • 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
9565668261 main Merge pull request #461 from cryspen/franziskus/update-hacl-star update hacl star push 18 Jun 2024 01:30PM UTC web-flow github
48.13
9565071293 main Merge 5fbd66366 into bf157de08 Pull #473 18 Jun 2024 01:02PM UTC web-flow github
59.06
9565027698 main Update .clabot push 18 Jun 2024 01:00PM UTC web-flow github
54.05
9564745468 main Merge 609d0fd49 into aee06b108 Pull #472 18 Jun 2024 12:22PM UTC web-flow github
59.06
9564734956 main Update .clabot push 18 Jun 2024 12:20PM UTC web-flow github
54.05
7420983118 main Add msprotz to cla push 05 Jan 2024 11:03AM UTC web-flow github
54.05
7184199640 main ci: ensure python >=3 is installed (#441) push 12 Dec 2023 04:22PM UTC web-flow github
54.05
7115336754 main Add xvzcf to .clabot push 06 Dec 2023 01:50PM UTC web-flow github
54.05
7096707023 main CI: fix documentation (#435) * ci: build static content on pull requests * ci: update `setup-rust-action` when building static content * ci: build documentation on macos push 05 Dec 2023 05:52AM UTC web-flow github
54.05
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