mbarbin
/
eio-rpc
83%
|
Repo Added
|
Files
50
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
main
branch: SELECT
CHANGE BRANCH
x
-
No branch selected
-
main
-
fix-server-coverage
-
HEAD
-
letfun
-
remove-qcheck
-
test-packaging
-
cmdlang
CHANGE BRANCH
x
-
No branch selected
- main
- fix-server-coverage
- HEAD
- letfun
- remove-qcheck
- test-packaging
- cmdlang
coverage: 83.094% (-0.03%) from 83.124%
push
github
3 of 3 new or added lines in 1 file covered. (100.0%)
462 of 556 relevant lines covered (83.09%)
3929.51 hits per line
Relevant lines Covered
556
RELEVANT LINES
462
COVERED LINES
3929.51
HITS PER LINE
Source Files on main
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 75 | main | Merge pull request #14 from mbarbin/use-cmdlang-stdlib-runner-in-test Use cmdlang stdlib runner in test | push |  web-flow |
github |
83.09 |
|
| 74 | use-cmdlang-stdlib-runner-in-test | Merge d157b0d3a into d503088bb | Pull #14 | web-flow |
github |
83.09 |
|
| 73 | main | Reduce use of Or_error in default scope | push |  mbarbin |
github |
83.12 |
|
| 72 | main | Unwrap README paragraphs | push | mbarbin |
github |
83.12 |
|
| 71 | main | Merge pull request #12 from mbarbin/cmdlang Upgrade to cmdlang.0.0.5 | push | web-flow |
github |
83.12 |
|
| 69 | cmdlang | Upgrade to cmdlang.0.0.5 | Pull #12 | mbarbin |
github |
83.12 |
|
| 68 | HEAD | Edit project name (dune-release) | push | mbarbin |
github |
83.15 |
|
| 67 | main | Edit project name (dune-release) | push | mbarbin |
github |
83.15 |
|
| 66 | main | Merge pull request #11 from mbarbin/cmdlang Prepare 0.0.7 | push | web-flow |
github |
83.15 |
|
| 64 | cmdlang | Prepare 0.0.7 | Pull #11 | mbarbin |
github |
83.15 |