5190327785
84%

Ran 06 Jun 2023 03:18PM UTC

Jobs 1

Files 20

Run time 1s

Badge

Embed ▾

pending completion

Build # 5190327785

Build Type

push

github

Committed by

web-flow

Commit Message

Fix CLI override of the dot grammar option (#113)

Options given on the CLI were added too late to the internal
representation of the grammar, when the option specified in the
grammar file was already taken into account. So, `-Ddot=...` could
not override `options { dot=...; }`.

Run Details

1182 of 1333 relevant lines covered (88.67%)

0.89 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	5190327785.1	06 Jun 2023 03:18PM UTC	0	88.67

Source Files on build 5190327785

Detailed source file information is not available for this build.

renatahodovan / grammarinator / 5190327785
84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5190327785

renatahodovan / grammarinator / 5190327785 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5190327785

renatahodovan / grammarinator / 5190327785
84%

README BADGES
x