|
Repo Added
|
Build
102
Last
|
Files
14
|
Badge
README BADGES
|
push
github
897 of 897 relevant lines covered (100.0%)
10.06 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 105 | main | Make run shell more portable by default | push | github |
100.0 |
||
| 104 | attach-locks-to-contexts | Merge dda37bc9d into ba5e64527 | Pull #29 | github |
100.0 |
||
| 103 | attach-locks-to-contexts | Merge 05816c570 into ba5e64527 | Pull #29 | github |
100.0 |
||
| 102 | attach-locks-to-contexts | Merge c2fffafb0 into ba5e64527 | Pull #29 | github |
100.0 |
||
| 101 | setup-dune-more-ci | Merge f2652be5d into 49b6b2356 | Pull #28 | github |
100.0 |
||
| 100 | main | Remove workflow (now merged into more-ci) | push | github |
100.0 |
||
| 99 | more-ci-refactors | Merge 35c9f6180 into a7a004b02 | Pull #27 | github |
100.0 |
||
| 98 | main | Upgrade dunolint | push | github |
100.0 |
||
| 97 | main | Update changelog | push | github |
100.0 |
||
| 96 | main | Upgrade actions/checkout | push | github |
100.0 |
![]() |
Badge your Repo: fpath-baseWe 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
|