|
Repo Added
|
Build
106
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 |
|---|---|---|---|---|---|---|---|
| 109 | main | Update setup-dune sha (fix macos build path issue) | push | github |
100.0 |
||
| 108 | main | Upgrade setup-dune (v2.0.0+patched) | push | github |
100.0 |
||
| 107 | main | Improve default settings for GHA permissions | push | github |
100.0 |
||
| 106 | main | Upgrade setup-dune to v2.0.0+only-packages | push | github |
100.0 |
||
| 105 | main | Make run shell more portable by default | push | github |
100.0 |
||
| 100 | main | Remove workflow (now merged into more-ci) | push | 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 |
||
| 95 | main | Merge pull request #26 from mbarbin/initiate-using-dyn Initiate using dyn in tests | 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
|