1
3%
master: 3%

Ran 27 Jun 2023 07:07AM UTC

Files 273

Run time 2s

Badge

Committed 27 Jun 2023 07:07AM UTC coverage: 3.116%. First build

Build Type

push

github

Committed by

Commit Message

update indices on syntax characters

add $, ' ', " ", ^, < >; beautify :=; move \uparrow
fix two other invalid \seeindex|es

Run Details

62 of 1990 relevant lines covered (3.12%)

0.03 hits per line