398200040
90%
master: 99%

Ran 03 Dec 2020 11:04AM UTC

Jobs 1

Files 112

Run time 26s

Badge

Build Type

github

Committed by GitHub

Commit Message

Merge 55da2a76b into 3653bdc95

Run Details

389 of 389 new or added lines in 32 files covered. (100.0%)

878 of 972 relevant lines covered (90.33%)

3.44 hits per line

Lines	Coverage	∆	File
1	95.65		src/Model/Model/Place.php
1	97.96		src/Model/Model/Transition.php
1	95.83	-4.17%	src/Service/StepsRunner.php
2	87.5		src/Service/Petrinet/MarkingHelper.php
4	78.72	42.55%	src/Model/Generator/State.php

ID	Job ID	Ran	Files	Coverage
1	398200040.1	03 Dec 2020 11:04AM UTC	112	90.33	GitHub Action Run