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

cryspen / hacl-packages
66%
main: 48%

Build:
Build:
LAST BUILD BRANCH: opam_0_7_2
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 franziskus/hacl-update-exp
branch: franziskus/hacl-update-exp
CHANGE BRANCH
x
Reset
  • franziskus/hacl-update-exp
  • dev
  • 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

pending completion
2997748321

Pull #178

github

GitHub
Merge 1cd380cfb into f5a20a705
Pull Request #178: Update C code

7916 of 7916 new or added lines in 44 files covered. (100.0%)

31573 of 47865 relevant lines covered (65.96%)

2759090.93 hits per line

Relevant lines Covered
Build:
Build:
47865 RELEVANT LINES 31573 COVERED LINES
2759090.93 HITS PER LINE
Source Files on franziskus/hacl-update-exp
  • Tree
  • List 70
  • Changed 45
  • Source Changed 44
  • Coverage Changed 45
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
2997748321 franziskus/hacl-update-exp Merge 1cd380cfb into f5a20a705 Pull #178 06 Sep 2022 05:44AM UTC GitHub github pending completion  
2978228338 franziskus/hacl-update-exp Merge 9be3b87db into f5a20a705 Pull #178 02 Sep 2022 10:14AM UTC GitHub github pending completion  
2977426206 franziskus/hacl-update-exp <a href="https://github.com/cryspen/hacl-packages/commit/5f0d6dde3">Merge </a><a class="double-link" href="https://github.com/cryspen/hacl-packages/commit/6e00669c2">6e00669c2</a><a hre... Pull #178 02 Sep 2022 08:22AM UTC GitHub github pending completion  
2977405145 franziskus/hacl-update-exp Revert "disable non-windows ci for now" push 02 Sep 2022 07:50AM UTC Franziskus Kiefer github pending completion  
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