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

rgrinberg / lev
77%

Build:
DEFAULT BRANCH: master
Repo Added 25 Apr 2023 09:08PM UTC
Files 7
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 master
branch: master
CHANGE BRANCH
x
Reset
  • master
  • ps/rr/chore__add_missing_unix_deps
  • ps/rr/chore__update_flakes
  • ps/rr/chore__update_to_5_x
  • ps/rr/chore_lev_fiber___list_stdune_modules
  • ps/rr/fix_lev_fiber___fd_leak_when_running_scheduler

02 Oct 2024 07:30AM UTC coverage: 76.805%. Remained the same
419

Pull #97

github

web-flow
Merge f6876a744 into fdc622584
Pull Request #97: apply the fix suggested by https://github.com/ocaml/ocaml-lsp/issues/…

702 of 914 relevant lines covered (76.81%)

8.49 hits per line

Relevant lines Covered
Build:
Build:
914 RELEVANT LINES 702 COVERED LINES
8.49 HITS PER LINE
Source Files on master
  • Tree
  • List 7
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
419 master Merge f6876a744 into fdc622584 Pull #97 04 Oct 2024 11:10PM UTC web-flow github
76.81
418 master chore: add missing unix deps (#100) Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push 01 Oct 2024 09:32PM UTC web-flow github
76.81
414 master chore: update to 5.x (#99) Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push 30 Sep 2024 10:51PM UTC web-flow github
76.81
413 master chore(lev-fiber): list stdune modules (#98) Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push 30 Sep 2024 10:38PM UTC web-flow github
76.81
408 master Merge e8ce3ea92 into 21de3661f Pull #97 26 Sep 2024 08:28PM UTC web-flow github
76.81
407 master chore: update flakes (#96) Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push 12 May 2024 06:36PM UTC web-flow github
76.81
406 master fix(lev-fiber): fd leak when running scheduler (#95) Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push 12 May 2024 05:36PM UTC web-flow github
76.81
401 master coverage: allow job to fail (#94) push 26 Apr 2023 02:04AM UTC GitHub github pending completion  
398 master add code coverage (#93) push 25 Apr 2023 09:44PM UTC GitHub github pending completion  
See All Builds (19)
  • 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