518
56%
master: 56%

Ran 12 Jan 2024 05:50PM UTC

Jobs 1

Files 82

Run time 6s

Badge

Embed ▾

Committed 12 Jan 2024 05:43PM UTC coverage: 56.137% (+0.005%) from 56.132%

Build # 518

Build Type

push

github

Committed by

panglesd

Commit Message

Review comments

- Rename `--source-parent-file` into `parent`
- Check that source argument is empty in case of rendering source tree
- Removed now useless `syntax` argument from `extra_documents`
- Check `"src-"`prefix when loading units for counting occurrences to avoid
  loading for nothing
- fixed some typos and made some small refactoring

Signed-off-by: Paul-Elliot <peada@free.fr>

Run Details

7103 of 12653 relevant lines covered (56.14%)

814.85 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	518.1	12 Jan 2024 05:50PM UTC	0	56.14	GitHub Action Run

Source Files on build 518

Detailed source file information is not available for this build.

panglesd / odoc / 518
56%
master: 56%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 518

panglesd / odoc / 518 56% master: 56%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 518

panglesd / odoc / 518
56%
master: 56%

README BADGES
x