1
72%
master: 56%

Ran 31 Jul 2024 08:21AM UTC

Files 91

Run time 2s

Badge

Embed ▾

Committed 31 Jul 2024 08:15AM UTC coverage: 71.901%. Remained the same

Job # 795.1

Build Type

push

github

Committed by

panglesd

Commit Message

Driver: generate external pages

Generate pages that are external of a package: landing pages for package,
library, library list and package list.

There is a problem currently with empty parent id. Currently using a "`a`"
container directory for the package list.

Coverage Stats

9964 of 13858 relevant lines covered (71.9%)

3016.11 hits per line

panglesd / odoc / 795 / 1
72%
master: 56%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 795.1

panglesd / odoc / 795 / 1 72% master: 56%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 795.1

panglesd / odoc / 795 / 1
72%
master: 56%

README BADGES
x