1
78%
master: 78%

Ran 21 Oct 2020 07:48PM UTC

Files 21

Run time 4s

Badge

Embed ▾

Committed 21 Oct 2020 07:21PM UTC coverage: 77.285% (+0.2%) from 77.105%

Job # COMPILER=4.08.1 COVERALLS=yes PERFORMANCE=yes

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

3103 of 4015 relevant lines covered (77.29%)

328.49 hits per line

aantron / markup.ml / 272 / 1
78%
master: 78%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 272.1 (COMPILER=4.08.1 COVERALLS=yes PERFORMANCE=yes)

aantron / markup.ml / 272 / 1 78% master: 78%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 272.1 (COMPILER=4.08.1 COVERALLS=yes PERFORMANCE=yes)

aantron / markup.ml / 272 / 1
78%
master: 78%

README BADGES
x