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

Imtjl / fp-red-black-tree-dict-lab2
98%

Build:
DEFAULT BRANCH: main
Repo Added 19 Oct 2024 12:13AM UTC
Files 2
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

02 Nov 2024 05:21PM UTC coverage: 97.531% (+10.5%) from 87.037%
27ebc30f72aa985093dff1f9d3141f35691573db

push

github

worthant
:test_tube: test(lib): Obt & unit tests for tree_dict interface

158 of 162 relevant lines covered (97.53%)

28870.72 hits per line

Relevant lines Covered
Build:
Build:
162 RELEVANT LINES 158 COVERED LINES
28870.72 HITS PER LINE
Source Files on main
  • Tree
  • List 2
  • Changed 2
  • Source Changed 0
  • Coverage Changed 2
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
27ebc30f... main :test_tube: test(lib): Obt & unit tests for tree_dict interface push 02 Nov 2024 05:22PM UTC worthant github
97.53
b6d18afc... main :test_tube: test(lib): Obt & unit tests for tree_dict interface push 02 Nov 2024 05:13PM UTC worthant github
96.91
f1b49402... main :test_tube: test(lib): Obt & unit tests for tree_dict interface push 02 Nov 2024 05:13PM UTC worthant github
95.06
5ae4d031... main :hammer: feat(lib)!: Implement associative merging & proper folding & fix warnings push 02 Nov 2024 01:25AM UTC worthant github
87.04
3de09028... main :wrench: wip: monoid pbt vsdfsfds push 19 Oct 2024 05:57PM UTC worthant github
75.0
fb02ce12... main :hammer: feat(lib): Folding, filter, map, fix linter warnings push 19 Oct 2024 05:45PM UTC worthant github
79.45
49c337c6... main :milky_way: docs(readme): Update Coverage badge push 19 Oct 2024 04:51PM UTC web-flow github
96.36
29dc7c7a... main :test_tube: feat(test): PBT & Unit tests push 19 Oct 2024 04:49PM UTC worthant github
96.36
b0a09c82... main :wrench: fix(lib): Linter warnings push 19 Oct 2024 04:45PM UTC worthant github
96.36
bb5368b2... main :milky_way: docs(readme): Add ci badges push 19 Oct 2024 01:18AM UTC worthant github
50.0
See All Builds (15)
  • 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