745216359
92%
master: 93%

Ran 13 Apr 2021 03:30PM UTC

Jobs 1

Files 441

Run time 7min

Badge

Build Type

push

github

Committed by Dariusz Ruminski

Commit Message

minor #5609 Forbid old config filename usage (keradus)

Run Details

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

16989 of 18474 relevant lines covered (91.96%)

32.95 hits per line

ID	Job ID	Ran	Files	Coverage
1	745216359.1	13 Apr 2021 03:30PM UTC	0	91.96	GitHub Action Run

Detailed source file information is not available for this build.