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

panglesd / odoc
57%
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 occurrences-in-odoc
branch: occurrences-in-odoc
CHANGE BRANCH
x
Reset
Sync Branches
  • occurrences-in-odoc
  • 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-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

14 Dec 2023 01:54PM UTC coverage: 56.52% (-0.009%) from 56.529%
483

push

github

panglesd
Compat with 4.02

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

0 of 4 new or added lines in 1 file covered. (0.0%)

7117 of 12592 relevant lines covered (56.52%)

819.09 hits per line

Relevant lines Covered
Build:
Build:
12592 RELEVANT LINES 7117 COVERED LINES
819.09 HITS PER LINE
Source Files on occurrences-in-odoc
  • Tree
  • List 81
  • Changed 2
  • Source Changed 2
  • Coverage Changed 2
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
483 occurrences-in-odoc Compat with 4.02 Signed-off-by: Paul-Elliot <peada@free.fr> push 14 Dec 2023 01:58PM UTC panglesd github
56.52
482 occurrences-in-odoc Occurrence: compatibility Signed-off-by: Paul-Elliot <peada@free.fr> push 14 Dec 2023 10:34AM UTC panglesd github
56.53
481 occurrences-in-odoc Occurrence: compatibility Co-authored-by: Jules Aguillon <jules@j3s.fr> push 14 Dec 2023 10:32AM UTC web-flow github
56.53
480 occurrences-in-odoc Count occurrences: fix change entry Signed-off-by: Paul-Elliot <peada@free.fr> push 14 Dec 2023 10:22AM UTC panglesd github
56.53
479 occurrences-in-odoc Count occurrences: fix change entry Signed-off-by: Paul-Elliot <peada@free.fr> push 13 Dec 2023 07:43PM UTC panglesd github
56.53
478 occurrences-in-odoc Revert "Ident_env: Turn all maps into hashtbl" This reverts commit 7e4e716a5. push 13 Dec 2023 07:41PM UTC panglesd github
56.53
477 occurrences-in-odoc Remove support for class types Signed-off-by: Paul-Elliot <peada@free.fr> push 12 Dec 2023 06:09PM UTC panglesd github
56.53
475 occurrences-in-odoc Remove support for class types Signed-off-by: Paul-Elliot <peada@free.fr> push 12 Dec 2023 05:50PM UTC panglesd github
56.46
474 occurrences-in-odoc Add test for class types Signed-off-by: Paul-Elliot <peada@free.fr> push 12 Dec 2023 10:13AM UTC panglesd github
56.41
473 occurrences-in-odoc Remove occurrence count for constructors The resolving of constructor paths introduced was wrong and never tested. It is removed in this commit as well. Signed-off-by: Paul-Elliot <peada@free.fr> push 12 Dec 2023 08:49AM UTC panglesd github
56.41
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