|
Repo Added
|
Build
66
Last
|
Files
11
|
Badge
README BADGES
|
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 46 | migrate-main-ci-setup-dune | Merge fa449d820 into 312b2c850 | Pull #12 | github |
100.0 |
![]() |
Badge your Repo: print-tableWe detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.Could not find badge in README. |
|
Embed ▾
README BADGES
|