Ran
|
Jobs
1
|
Files
402
|
Run time
10s
|
Badge
Embed ▾
README BADGES
|
push
github
14052 of 34589 relevant lines covered (40.63%)
27099.02 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
47.06 |
-0.39% | otherlibs/dune-rpc/private/dune_rpc_private.ml |
1 |
71.05 |
-0.88% | otherlibs/stdune/src/list.ml |
1 |
43.99 |
-0.34% | src/dune_rpc_server/dune_rpc_server.ml |
2 |
55.68 |
-1.08% | src/dune_rpc_impl/server.ml |
2 |
25.29 |
-2.3% | src/dune_rules/module_trie.ml |
4 |
0.0 |
0.0% | src/dune_rules/coq/coq_mode.ml |
5 |
53.37 |
-2.4% | otherlibs/dune-rpc/private/conv.ml |
6 |
58.82 |
-2.29% | src/dune_rules/link_flags.ml |
10 |
62.07 |
-6.9% | otherlibs/dune-rpc/private/types.ml |
10 |
0.0 |
0.0% | src/dune_rules/coq/coq_module.ml |
11 |
40.48 |
-1.3% | src/dune_util/report_error.ml |
15 |
41.18 |
0.58% | src/dune_rules/dune_env.ml |
31 |
13.75 |
1.09% | src/dune_rules/cinaps.ml |
104 |
64.21 |
-2.75% | src/dune_engine/scheduler.ml |
171 |
0.0 |
0.0% | src/dune_rules/coq/coq_rules.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 101.1 | 402 |
40.63 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|