• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

panglesd / odoc
72%
master: 56%

Build:
Build:
LAST BUILD BRANCH: include-libs-from-packages
DEFAULT BRANCH: master
Repo Added 11 Jan 2023 05:45PM UTC
Token Y9fUJUiuPbbwv5ip3hqlNG4AVBnBq382N regen
Build 779 Last
Files 90
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH odoc3-external-pages
branch: odoc3-external-pages
CHANGE BRANCH
x
Reset
Sync Branches
  • odoc3-external-pages
  • 1260_document_elements
  • 2.3-5.1-compat
  • 51fix
  • add-doc-for-scoped-tags
  • allow-more-hierarchies
  • any-to-nonsrc
  • asset-references
  • asset-references-in-language
  • better-toc-entry-monorepo
  • block-ast-content
  • changelog-check
  • cheatsheet
  • cheatsheet-2
  • cherry-picked-refactor-typedtree-traverse
  • ci-search-bar
  • clean-driver-dir-name
  • cmt-arg
  • complete-sidebar
  • count-occurrences-in-ref-driver
  • dbuenzli
  • disable-big-search-path-test
  • document-json-output
  • document-url-from-identifier
  • driver-cli
  • driver-output
  • driver-redirections
  • extract-code-blocks
  • extract-code-blocks-2
  • fix-1013
  • fix-1106
  • fix-1106-new
  • fix-333
  • fix-449
  • fix-456
  • fix-857
  • fix-907
  • fix-926
  • fix-930
  • fix-932
  • fix-937
  • fix-941
  • fix-box-model
  • fix-breadcrumbs
  • fix-building-odoc-doc
  • fix-compile-depends
  • fix-compile-src-cli
  • fix-default-alias
  • fix-deps-for-mlds
  • fix-emoji
  • fix-fmt
  • fix-gaps
  • fix-hidden-flag
  • fix-needles
  • fix-open-files-in-occurrence
  • fix-parent-id
  • fix-parser-constraint-on-dune
  • fix-source-hierarchy
  • fix-tyxml-constraint
  • fix-url
  • fix-wrong-id-doc-search
  • fix_447
  • frontmatter
  • frontmatter-tags
  • generate-assets
  • generate-external-pages-in-driver
  • global-config-file
  • gpetiot-fix932
  • header-in-json-output
  • identifiers-labels-should-be-spanned
  • include-libs-from-packages
  • job_numbers
  • json-sidebar-output
  • landmarks
  • less-agressive-timeout
  • master
  • md-page-support
  • md-page-support-cleaned-history
  • md-page-support-wip
  • mdx-files
  • media-in-odoc3
  • medias-in-odoc
  • medias-in-odoc-2
  • merlin-snapshot
  • named-pkg-root
  • new-hierarchy-in-driver
  • new-hierarchy-in-driver-clean
  • new-occurrence
  • new-tutorial
  • new_driving_guide
  • new_driving_guide_work
  • o-c--curren-ces-t
  • occurences-in-odoc
  • occurrence-in-odoc-unsplit
  • occurrences-in-index
  • occurrences-in-odoc
  • occurrences-last-PR
  • occurrences-squashed
  • occurrences-squashed-before-rebase
  • occurrences-wip
  • occurrences-without-constructors
  • oci-bench
  • oci-bench-landmarks
  • odoc-features-in-odoc
  • odoc3-asset-references
  • offsite-proto
  • offsite-proto-2
  • ol-to-ul
  • order-children
  • page-order-new-take
  • page-order-new-take-save
  • page-reference-do-not-use-dot
  • parser-in-doc
  • permanent-ident-env
  • poly-variants-docs
  • profiling-phases
  • refactor-driver
  • refactor-typedtree-traverse
  • render-source-files
  • resolving-references
  • review-assets
  • root-in-sidebar
  • root-in-sidebar-really
  • save-complete-sidebar
  • save-occ-in-odoc-5-december
  • save-occ-last-pr-dec-6
  • save_new_driving_guide
  • scoped-tags
  • search-bar-rebase
  • search-bar2
  • search-bar2-old
  • search-index-buid-system-friendly
  • search-index-build-system-friendly-save
  • search-index-build-system-friendly-save-2
  • search-without-history
  • semantic-anchors
  • separate-generate-commands
  • separate-intf-impl
  • setup-ocaml-v3
  • short-title-tags
  • sidebar-proto
  • sidebar-rebased
  • squared-search-path
  • style-external-links
  • suppress_warnings
  • tables
  • toc-tree-2
  • use-katex-bool
  • v2.4
  • v2.4-fix1013
  • value-and-constructor-path
  • voodoo-odoc-driver
  • wip-src-prefix

23 Aug 2024 11:22AM UTC coverage: 72.449% (+0.6%) from 71.803%
860

push

github

panglesd
Driver: Fix failure when output dir does not exist

9982 of 13778 relevant lines covered (72.45%)

3038.01 hits per line

Relevant lines Covered
Build:
Build:
13778 RELEVANT LINES 9982 COVERED LINES
3038.01 HITS PER LINE
Source Files on odoc3-external-pages
  • Tree
  • List 90
  • Changed 61
  • Source Changed 28
  • Coverage Changed 25
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
860 odoc3-external-pages Driver: Fix failure when output dir does not exist push 23 Aug 2024 11:31AM UTC panglesd github
72.45
843 odoc3-external-pages Fix typo Co-authored-by: Jules Aguillon <jules@j3s.fr> push 21 Aug 2024 03:02PM UTC panglesd github
71.8
842 odoc3-external-pages Fix typo Co-authored-by: Jules Aguillon <jules@j3s.fr> push 21 Aug 2024 02:52PM UTC web-flow github
71.8
841 odoc3-external-pages driver: Refactor Landing_pages to use Format Util.write_file is refactored to be more suitable. Co-authored-by: Paul-Elliot <peada@free.fr> push 21 Aug 2024 02:48PM UTC web-flow github
71.8
837 odoc3-external-pages Test: cover empty parent id push 21 Aug 2024 11:45AM UTC panglesd github
71.8
834 odoc3-external-pages Driver: cleanup unnecessary changes push 20 Aug 2024 02:33PM UTC panglesd github
71.8
803 odoc3-external-pages Driver: refactor `Landing_page` module push 31 Jul 2024 03:08PM UTC panglesd github
71.79
802 odoc3-external-pages Driver: refactor `Landing_page` module push 31 Jul 2024 03:06PM UTC panglesd github
71.9
799 odoc3-external-pages Allow for empty --parent-id Useful for the list of packages landing page push 31 Jul 2024 12:34PM UTC panglesd github
71.9
795 odoc3-external-pages 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 ... push 31 Jul 2024 08:21AM UTC panglesd github
71.9
See All Builds (778)

Badge your Repo: odoc

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.

Could not find badge in README.

Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

Refresh
  • Settings
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc