6247136711
73%

Ran 20 Sep 2023 10:20AM UTC

Jobs 2

Files 28

Run time 1s

Badge

Committed 20 Sep 2023 10:20AM UTC coverage: 87.988%. Remained the same

Build Type

push

github

Committed by GitHub

Commit Message

feat: remove unique check in unification stmt (#725)

Run Details

2300 of 2614 relevant lines covered (87.99%)

201141.04 hits per line

ID	Job ID	Ran	Files	Coverage
1	6247136711.1	20 Sep 2023 10:20AM UTC	28	87.99	GitHub Action Run
2	6247136711.2	20 Sep 2023 10:23AM UTC	28	87.99	GitHub Action Run