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

panglesd / odoc
73%
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 page-order-new-take
branch: page-order-new-take
CHANGE BRANCH
x
Reset
Sync Branches
  • page-order-new-take
  • 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-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

03 Oct 2024 01:25PM UTC coverage: 72.996% (-0.01%) from 73.007%
899

push

github

panglesd
Children order: Remove common root using ID not URL segments

3 of 3 new or added lines in 2 files covered. (100.0%)

62 existing lines in 5 files now uncovered.

10264 of 14061 relevant lines covered (73.0%)

2961.76 hits per line

Relevant lines Covered
Build:
Build:
14061 RELEVANT LINES 10264 COVERED LINES
2961.76 HITS PER LINE
Source Files on page-order-new-take
  • Tree
  • List 92
  • Changed 6
  • Source Changed 5
  • Coverage Changed 4
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
899 page-order-new-take Children order: Remove common root using ID not URL segments push 03 Oct 2024 01:31PM UTC panglesd github
73.0
897 page-order-new-take Children order: Remove common root using ID not URL segments push 03 Oct 2024 10:20AM UTC panglesd github
73.01
896 page-order-new-take Compatibility again push 03 Oct 2024 10:00AM UTC panglesd github
73.02
895 page-order-new-take Do not open Path.Identifier But alias it to Id. It was bringing too many values in scope (eg shadowing compare). push 03 Oct 2024 08:52AM UTC panglesd github
73.02
894 page-order-new-take Children order: compatibility push 03 Oct 2024 08:42AM UTC panglesd github
73.02
893 page-order-new-take Children order: Add warnings for duplicated and unresolved entries push 03 Oct 2024 07:51AM UTC panglesd github
73.02
892 page-order-new-take Children order: Add a warning when a children is omitted Co-authored-by: Jules Aguillon <jules@j3s.fr> push 02 Oct 2024 03:21PM UTC panglesd github
72.98
891 page-order-new-take Children order: Add omitted children at the end of the ordering Co-authored-by: Jules Aguillon <jules@j3s.fr> push 02 Oct 2024 02:25PM UTC panglesd github
72.99
890 page-order-new-take Children order: Refactor sidebar types Directly take children order into account. Co-authored-by: Jules Aguillon <jules@j3s.fr> push 02 Oct 2024 01:48PM UTC panglesd github
72.98
889 page-order-new-take Add a warning when specifying children order in non-index pages Co-authored-by: Jules Aguillon <jules@j3s.fr> push 02 Oct 2024 10:16AM UTC panglesd github
72.98
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