259dbe535bff3715b2d9ab0fcd2f80e209c53d11
100%

Ran 23 Aug 2021 04:33PM UTC

Jobs 1

Files 7

Run time 1697494min

Badge

Committed 23 Aug 2021 04:33PM UTC coverage: 100.0%. Remained the same

Build Type

push

github

Committed by RobertDober

Commit Message

Property tests for deepen added

Run Details

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

53 of 53 relevant lines covered (100.0%)

76807.43 hits per line

ID	Job ID	Ran	Files	Coverage
2	259dbe535bff3715b2d9ab0fcd2f80e209c53d11.2	23 Aug 2021 04:34PM UTC	0	100.0	GitHub Action Run