3507773225
93%
main: 93%

Ran 20 Nov 2022 11:36AM CUT

Jobs 1

Files 13

Run time –

Badge

Build Type

github

Committed by GitHub

Commit Message

Merge eb7b66480 into 810e1a34c

Run Details

521 of 561 relevant lines covered (92.87%)

1923393.21 hits per line

ID	Job ID	Ran	Files	Coverage
1	3507773225.1	20 Nov 2022 11:36AM CUT	0	92.87	GitHub Action Run

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	circus-simulation/src/platform.rs	26	1	0	1	0.0
87.65	...us-simulation/src/deterministic/runtime/reactor.rs	172	81	71	10	11.0 - 1.0
88.16	circus-simulation/src/deterministic/platform.rs	160	76 + 1	67 + 1	9	5.0
90.57	...s-simulation/src/deterministic/runtime/executor.rs	216	106	96	10	12.0
93.33	circus-simulation/src/deterministic/random.rs	61	30	28	2	38535791.0
93.62	...rcus-simulation/src/deterministic/runtime/timer.rs	110	47	44	3	15.0
96.03	circus-buggify/src/lib.rs	278	126	121	5	35.0
100.0	circus-test/src/lib.rs	130	32	32	0	3.0
100.0	circus-simulation/src/deterministic/fs/file.rs	15	3	3	0	10.0
100.0	...ircus-simulation/src/deterministic/runtime/task.rs	38	13	13	0	92.0 - 10