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

panglesd / odoc
61%
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 search-bar2
branch: search-bar2
CHANGE BRANCH
x
Reset
Sync Branches
  • search-bar2
  • 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
  • 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-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

27 Oct 2023 09:14AM UTC coverage: 61.059% (-0.2%) from 61.239%
412

push

github

Paul-Elliot
Search: compatibility with new extension decl id

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

3887 of 6366 relevant lines covered (61.06%)

1521.84 hits per line

Relevant lines Covered
Build:
Build:
6366 RELEVANT LINES 3887 COVERED LINES
1521.84 HITS PER LINE
Source Files on search-bar2
  • Tree
  • List 59
  • Changed 16
  • Source Changed 5
  • Coverage Changed 5
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
412 search-bar2 Search: compatibility with new extension decl id push 27 Oct 2023 09:14AM UTC Paul-Elliot github
61.06
395 search-bar2 Search: rename test folder push 26 Oct 2023 10:41AM UTC Paul-Elliot github
61.24
394 search-bar2 Search: Add changelog entry Signed-off-by: Paul-Elliot <peada@free.fr> push 26 Oct 2023 10:23AM UTC panglesd github
61.24
393 search-bar2 Search: Driver: use --search-uri instead of assets Signed-off-by: Paul-Elliot <peada@free.fr> push 26 Oct 2023 10:17AM UTC panglesd github
61.24
392 search-bar2 Search: Driver: use --search-uri instead of assets push 26 Oct 2023 10:05AM UTC Paul-Elliot github
61.24
391 search-bar2 Search: Driver: use --search-uri instead of assets push 26 Oct 2023 09:57AM UTC Paul-Elliot github
61.24
390 search-bar2 Autoreview comments - Remove now unused added utils function - Simplified some code - Removed formatting changes in otherwise unchanged cppo-ed files - promote mdx tests Signed-off-by: Paul-Elliot <peada@free.fr> push 26 Oct 2023 09:02AM UTC panglesd github
61.22
362 search-bar2 Search indexing: correct error message when passed a hidden module push 29 Sep 2023 01:35PM UTC Paul-Elliot github
61.18
360 search-bar2 Search indexing: correct error message when passed a hidden module Also, in the driver, pass the correct list of files Signed-off-by: Paul-Elliot <peada@free.fr> push 29 Sep 2023 12:47PM UTC panglesd github
61.18
353 search-bar2 Search indexing: correct error message when passed a hidden module push 29 Sep 2023 06:41AM UTC Paul-Elliot github
61.18
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