272
78%

Ran 21 Oct 2020 07:48PM UTC

Jobs 1

Files 21

Run time 5s

Badge

Embed ▾

pending completion

Build # 272

Build Type

push

travis-ci

Committed by

aantron

Commit Message

HTML writer: preserve the doctype

The HTML5 spec requires outputting <!DOCTYPE html> as the doctype.
However, Markup.ml already has a helper (Markup.html5) for replacing any
doctype with the HTML5 doctype. So, it is better for the writer to
output whatever doctype is present in the signal stream, trusting the
user to call Markup.html5 if it is necessary for their purpose.

Part of aantron/lambdasoup#37.

Run Details

4 of 4 new or added lines in 2 files covered. (100.0%)

3103 of 4015 relevant lines covered (77.29%)

328.49 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	272.1 (COMPILER=4.08.1 COVERALLS=yes PERFORMANCE=yes)	21 Oct 2020 07:48PM UTC	0	77.29	Travis Job 272.1

Source Files on build 272

Detailed source file information is not available for this build.

aantron / markup.ml / 272
78%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 272

aantron / markup.ml / 272 78%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 272

aantron / markup.ml / 272
78%

README BADGES
x