mbarbin
/
fingerboard
92%
|
Repo Added
|
Files
61
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
main
branch: main
CHANGE BRANCH
x
CHANGE BRANCH
x
coverage: 92.134%. Remained the same
push
github
3830 of 4157 relevant lines covered (92.13%)
20265.99 hits per line
Relevant lines Covered
4157
RELEVANT LINES
3830
COVERED LINES
20265.99
HITS PER LINE
Source Files on main
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 127 | main | Increase lower bounds for maintainance | push |  mbarbin |
github |
92.13 |
|
| 126 | main | Improve default settings for GHA permissions | push | mbarbin |
github |
92.13 |
|
| 125 | main | Set more-ci default shell to bash | push | mbarbin |
github |
92.13 |
|
| 124 | main | Prepare dune-workspace files for CI workflows | push | mbarbin |
github |
92.13 |
|
| 123 | main | Upgrade dunolint | push | mbarbin |
github |
92.13 |
|
| 122 | main | Edit changelog | push | mbarbin |
github |
92.13 |
|
| 120 | main | Remove unused dep | push | mbarbin |
github |
92.13 |
|
| 119 | main | Merge pull request #11 from mbarbin/reduce-deps Reduce deps | push |  web-flow |
github |
92.13 |
|
| 116 | main | Use Code_error.raise | push | mbarbin |
github |
95.09 |
|
| 114 | main | Remove unused file | push | mbarbin |
github |
95.59 |