5256129720
97%
2.1: 97%

Ran 13 Jun 2023 01:38PM UTC

Jobs 1

Files 39

Run time 1s

Badge

Build Type

push

github

Committed by

Commit Message

resolves old TODO unlocked by new compiler and spec (#634)

Run Details

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

13268 of 13773 relevant lines covered (96.33%)

10208.08 hits per line

ID	Job ID	Ran	Files	Coverage
1	5256129720.1	13 Jun 2023 01:38PM UTC	39	96.33	GitHub Action Run