0861f379a34e2ea0f32dd31fe380a397642fb53e-PR-13
100%
main: 100%

Ran 23 Jun 2020 11:13PM UTC

Jobs 1

Files 20

Run time 2327305min

Badge

Committed 23 Jun 2020 11:13PM UTC coverage: 100.0%. First build

Build Type

github

Committed by marioyustikommit

Commit Message

Improve union type to allow arms with types

Run Details

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

357 of 357 relevant lines covered (100.0%)

5.92 hits per line

ID	Job ID	Ran	Files	Coverage
1	0861f379a34e2ea0f32dd31fe380a397642fb53e-PR-13.1	23 Jun 2020 11:13PM UTC	20	100.0	GitHub Action Run