556618843
97%
master: 99%

Ran 11 Feb 2021 02:50AM CUT

Jobs 1

Files 138

Run time 12s

Badge

Build Type

github

Committed by GitHub

Commit Message

Merge 4d7a1a7fc into 176a0dc18

Run Details

7 of 7 new or added lines in 1 file covered. (100.0%)

1654 of 1711 relevant lines covered (96.67%)

6.25 hits per line

ID	Job ID	Ran	Files	Coverage
1	556618843.1	11 Feb 2021 02:50AM CUT	0	96.67	GitHub Action Run

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	src/Channel/AbstractChannel.php	11	1	0	1	0.0
50.0	src/Provider/AbstractProvider.php	33	4	2	2	1.0
50.0	src/Generator/AbstractGenerator.php	16	2	1	1	1.0
62.5	src/Model/Generator/State.php	105	32	20	12	5.0
66.67	src/Channel/ChannelManager.php	18	3	2	1	1.0
66.67	src/Reducer/ReducerManager.php	18	3	2	1	1.0
66.67	src/Generator/GeneratorManager.php	18	3	2	1	1.0
80.0	src/Reducer/ReducerTemplate.php	32	5	4	1	2.0
81.25	src/Model/Task.php	129	32	26	6	9.0
82.35	src/Service/Petrinet/MarkingHelper.php	62	17	14	3	9.0