Ran
|
Jobs
1
|
Files
70
|
Run time
1920665min
|
Badge
Embed ▾
README BADGES
|
push
github
6480 of 10038 relevant lines covered (64.55%)
934.64 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
80.0 |
0.0% | src/model/lang.ml |
4 |
93.98 |
-1.2% | src/parser/reference.ml |
4 |
95.97 |
-0.03% | src/parser/semantics.ml |
8 |
78.38 |
0.0% | src/xref2/strengthen.ml |
9 |
80.51 |
0.0% | src/xref2/compile.ml |
28 |
71.43 |
-2.0% | src/document/url.ml |
34 |
39.26 |
-1.48% | src/xref2/expand_tools.ml |
64 |
78.18 |
-1.82% | src/xref2/link.ml |
102 |
25.94 |
-1.06% | src/xref2/cpath.ml |
108 |
56.46 |
-0.32% | src/xref2/lang_of.ml |
126 |
34.12 |
0.25% | src/model/paths.ml |
128 |
57.86 |
-0.87% | src/xref2/subst.ml |
245 |
60.1 |
-2.48% | src/xref2/tools.ml |
267 |
46.98 |
-1.34% | src/xref2/component.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 109.1 | 70 |
64.55 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|