11432952535
73%

Ran 21 Oct 2024 04:02AM CUT

Jobs 1

Files 12

Run time 1min

Badge

Committed 21 Oct 2024 04:01AM CUT coverage: 71.42% (+0.06%) from 71.361%

Build Type

push

github

Committed by

Commit Message

Remove some unused trait bounds

Run Details

1202 of 1683 relevant lines covered (71.42%)

288.51 hits per line

ID	Job ID	Ran	Files	Coverage
1	11432952535.1	21 Oct 2024 04:02AM CUT	12	71.42	GitHub Action Run

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
20.34	manul/src/protocol/errors.rs	208	59	12	47	3.0
41.75	manul/src/session/evidence.rs	442	285	119	166	3.0
65.41	manul/src/protocol/round.rs	448	133	87	46	71.0
71.57	manul/src/session/transcript.rs	178	102	73	29	27.0
73.13	manul/src/testing/macros.rs	124	67	49	18	22.0
73.72	manul/src/session/session.rs	739 - 2	449	331 + 1	118 - 1	47.0
75.59	manul/src/session/echo.rs	220	127	96	31	30.0
83.12	manul/src/protocol/object_safe.rs	184	77	64	13	64.0
86.11	manul/src/testing/identity.rs	110	36	31	5	13949.0 - 108
96.84	manul/src/session/message.rs	272	158	153	5	103.0 - 1.0