1820465294
94%

Ran 09 Feb 2022 09:22PM CUT

Jobs 1

Files 18

Run time 42s

Badge

Build Type

push

github

Committed by Lukas Wagner

Commit Message

Use the Reporter trait for HTML, some HTML formatting

Run Details

1675 of 1833 relevant lines covered (91.38%)

1138.51 hits per line

ID	Job ID	Ran	Files	Coverage
1	1820465294.1	09 Feb 2022 09:22PM CUT	18	91.38	GitHub Action Run

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
7.69	src/main.rs	23	13	1	12	1.0
49.14	src/reporter/html.rs	246	116	57	59	1.0
75.47	src/cliarguments.rs	118	53	40	13	15.0
87.93	src/runtime/wasmer.rs	135	58	51	7	3468.0 + 1.0
88.46	src/runtime/mod.rs	79	26	23	3	5.0
89.52	src/reporter/mod.rs	288 - 132	124 - 70	111 - 66	13 - 4	5.0 + 1.0
93.33	src/addressresolver.rs	145	75	70	5	9935.0 - 1.0
93.75	src/operator/ops.rs	513	128	120	8	861.0
94.67	src/policy.rs	167	75	71	4	5337.0 + 2
94.85	src/lib.rs	421 + 1	233 + 1	221 + 1	12	5.0