20648873733
99%

Ran 02 Jan 2026 01:36AM UTC

Jobs 1

Files 7

Run time 1min

Badge

Committed 01 Jan 2013 08:00AM UTC coverage: 96.429% (+0.04%) from 96.388%

Build Type

push

github

Committed by

Commit Message

Do not generate new symbol for S -> S | a

Run Details

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

432 of 448 relevant lines covered (96.43%)

94.71 hits per line

ID	Job ID	Ran	Files	Coverage
1	20648873733.1	02 Jan 2026 01:36AM UTC	7	96.43	GitHub Action Run