• 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 named-pkg-root
branch: named-pkg-root
CHANGE BRANCH
x
Reset
Sync Branches
  • named-pkg-root
  • 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
  • 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
  • odoc3-external-pages
  • 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

05 Jun 2024 07:31AM UTC coverage: 71.774%. Remained the same
678

push

github

panglesd
doc adjustement

2 of 2 new or added lines in 1 file covered. (100.0%)

9688 of 13498 relevant lines covered (71.77%)

3601.26 hits per line

Relevant lines Covered
Build:
Build:
13498 RELEVANT LINES 9688 COVERED LINES
3601.26 HITS PER LINE
Source Files on named-pkg-root
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
678 named-pkg-root doc adjustement push 05 Jun 2024 07:37AM UTC panglesd github
71.77
677 named-pkg-root doc adjustement push 04 Jun 2024 03:29PM UTC EmileTrotignon github
71.77
676 named-pkg-root add -L error test push 04 Jun 2024 03:23PM UTC EmileTrotignon github
71.77
675 named-pkg-root doc improvement push 04 Jun 2024 03:20PM UTC EmileTrotignon github
71.77
669 named-pkg-root `-L` and `-P` options: improve tests Signed-off-by: Paul-Elliot <peada@free.fr> push 04 Jun 2024 07:36AM UTC panglesd github
71.77
663 named-pkg-root More coherent notation for named roots Signed-off-by: Paul-Elliot <peada@free.fr> push 29 May 2024 03:23PM UTC panglesd github
71.74
662 named-pkg-root Review comment on attached docstring for `Resolver.create` Signed-off-by: Paul-Elliot <peada@free.fr> push 29 May 2024 02:44PM UTC panglesd github
71.74
661 named-pkg-root Odoc driver: remove debug artefact Signed-off-by: Paul-Elliot <peada@free.fr> push 29 May 2024 02:39PM UTC panglesd github
71.74
660 named-pkg-root Review comment: typo in CLI man page Signed-off-by: Paul-Elliot <peada@free.fr> push 29 May 2024 02:05PM UTC panglesd github
71.74
659 named-pkg-root Odoc driver: Add `-L` and `-P` options Signed-off-by: Paul-Elliot <peada@free.fr> push 29 May 2024 08:01AM UTC panglesd github
71.74
See All Builds (777)

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

© 2026 Coveralls, Inc