11903754480
73%

Ran 19 Nov 2024 12:30AM CUT

Jobs 1

Files 17

Run time 1min

Badge

Committed 19 Nov 2024 12:29AM CUT coverage: 68.6% (-0.8%) from 69.393%

Build Type

push

github

Committed by

Commit Message

Merge pull request #71 from fjarri/dev-infrastructure

Dev infrastructure

Run Details

31 of 72 new or added lines in 2 files covered. (43.06%)

1798 of 2621 relevant lines covered (68.6%)

88.63 hits per line

Lines	Coverage	∆	File
4	94.7		manul/src/dev/run_sync.rs
37	56.88	-17.11%	manul/src/session/transcript.rs

ID	Job ID	Ran	Files	Coverage
1	11903754480.1	19 Nov 2024 12:30AM CUT	17	68.6	GitHub Action Run

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
16.09	manul/src/protocol/errors.rs	258	87	14	73	3.0
41.03	manul/src/session/evidence.rs	560	351	144	207	3.0
49.11	manul/src/protocol/round.rs	487	169	83	86	110.0 - 1.0
52.0	manul/src/dev/wire_format.rs	68	25	13	12	728.0
56.7	manul/src/combinators/chain.rs	554	291	165	126	13.0
56.88	manul/src/session/transcript.rs	263 + 52	160 + 37	91	69 + 37	34.0
60.25	manul/src/session/echo.rs	293	161	97	64	32.0 - 1.0
79.02	manul/src/protocol/object_safe.rs	295	143	113	30	125.0 - 1.0
79.38	manul/src/session/session.rs	889	519	412	107	62.0
79.73	manul/src/protocol/message.rs	171	74	59	15	201.0