5505719046
94%

Ran 10 Jul 2023 08:35AM UTC

Jobs 1

Files 20

Run time 1s

Badge

Build Type

push

github

Committed by

Commit Message

Merge pull request #78 from rindPHI/dev

Supporting negative int literals in concrete syntax

Run Details

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

6255 of 6657 relevant lines covered (93.96%)

0.94 hits per line

ID	Job ID	Ran	Files	Coverage
1	5505719046.1	10 Jul 2023 08:35AM UTC	20	93.96	GitHub Action Run