• 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 occurrences-in-index
branch: occurrences-in-index
CHANGE BRANCH
x
Reset
Sync Branches
  • occurrences-in-index
  • 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-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

15 Jul 2024 04:21PM UTC coverage: 71.848% (+0.06%) from 71.787%
773

push

github

panglesd
Occurrences: don't expose sub in occurrence table

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

9915 of 13800 relevant lines covered (71.85%)

3499.8 hits per line

Relevant lines Covered
Build:
Build:
13800 RELEVANT LINES 9915 COVERED LINES
3499.8 HITS PER LINE
Source Files on occurrences-in-index
  • Tree
  • List 90
  • Changed 51
  • Source Changed 8
  • Coverage Changed 10
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
773 occurrences-in-index Occurrences: don't expose sub in occurrence table Signed-off-by: Paul-Elliot <peada@free.fr> push 15 Jul 2024 04:26PM UTC panglesd github
71.85
772 occurrences-in-index Occurrences: don't expose sub in occurrence table Signed-off-by: Paul-Elliot <peada@free.fr> push 15 Jul 2024 04:22PM UTC panglesd github
71.79
771 occurrences-in-index Occurrences: don't expose sub in occurrence table Signed-off-by: Paul-Elliot <peada@free.fr> push 15 Jul 2024 04:19PM UTC panglesd github
71.79
766 occurrences-in-index Fix typo in doc/driver.mld Co-authored-by: Guillaume "Liam" Petiot <guillaume@tarides.com> push 12 Jul 2024 07:55AM UTC panglesd github
71.79
765 occurrences-in-index Fix typo in doc/driver.mld Co-authored-by: Guillaume "Liam" Petiot <guillaume@tarides.com> push 12 Jul 2024 07:54AM UTC panglesd github
71.79
554 occurrences-in-index Fix typo in doc/driver.mld Co-authored-by: Guillaume "Liam" Petiot <guillaume@tarides.com> push 19 Feb 2024 09:26AM UTC web-flow github
56.83
553 occurrences-in-index Driver: include occurrences count in the search index Signed-off-by: Paul-Elliot <peada@free.fr> push 19 Feb 2024 09:25AM UTC panglesd github
56.83
552 occurrences-in-index update documentation for json index Signed-off-by: Paul-Elliot <peada@free.fr> push 19 Feb 2024 08:38AM UTC panglesd github
56.83
549 occurrences-in-index Occurrence count in index: only include non-empty fields Signed-off-by: Paul-Elliot <peada@free.fr> push 13 Feb 2024 09:49AM UTC panglesd github
56.81
533 occurrences-in-index Add changelog entry for #1076 Signed-off-by: Paul-Elliot <peada@free.fr> push 31 Jan 2024 10:02AM UTC panglesd github
56.81
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