795
72%
master: 56%

Ran 31 Jul 2024 08:21AM UTC

Jobs 1

Files 91

Run time 1min

Badge

Embed ▾

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

Build # 795

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.

Run Details

9964 of 13858 relevant lines covered (71.9%)

3016.11 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	795.1	31 Jul 2024 08:21AM UTC	0	71.9	GitHub Action Run

Source Files on build 795

Detailed source file information is not available for this build.

panglesd / odoc / 795
72%
master: 56%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 795

panglesd / odoc / 795 72% master: 56%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 795

panglesd / odoc / 795
72%
master: 56%

README BADGES
x