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

panglesd / odoc
56%
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 separate-intf-impl
branch: separate-intf-impl
CHANGE BRANCH
x
Reset
Sync Branches
  • separate-intf-impl
  • 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
  • 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
  • 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

16 Feb 2024 11:22AM UTC coverage: 56.132% (+0.01%) from 56.121%
551

push

github

panglesd
Mark experimental commands as experimental

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

7053 of 12565 relevant lines covered (56.13%)

828.4 hits per line

Relevant lines Covered
Build:
Build:
12565 RELEVANT LINES 7053 COVERED LINES
828.4 HITS PER LINE
Source Files on separate-intf-impl
  • Tree
  • List 82
  • Changed 20
  • Source Changed 6
  • Coverage Changed 10
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
551 separate-intf-impl Mark experimental commands as experimental Signed-off-by: Paul-Elliot <peada@free.fr> push 16 Feb 2024 11:26AM UTC panglesd github
56.13
550 separate-intf-impl Mark experimental commands as experimental Signed-off-by: Paul-Elliot <peada@free.fr> push 16 Feb 2024 11:24AM UTC panglesd github
56.12
521 separate-intf-impl compatibility Signed-off-by: Paul-Elliot <peada@free.fr> push 17 Jan 2024 05:18PM UTC panglesd github
56.11
518 separate-intf-impl Review comments - Rename `--source-parent-file` into `parent` - Check that source argument is empty in case of rendering source tree - Removed now useless `syntax` argument from `extra_documents` - Check `"src-"`prefix when loading units for coun... push 12 Jan 2024 05:50PM UTC panglesd github
56.14
517 separate-intf-impl compile-src: fix manpage Signed-off-by: Paul-Elliot <peada@free.fr> push 12 Jan 2024 01:39PM UTC panglesd github
56.13
506 separate-intf-impl compile-src: fix manpage Signed-off-by: Paul-Elliot <peada@free.fr> push 22 Dec 2023 03:21PM UTC panglesd github
56.13
505 separate-intf-impl Add changelog entry for separate compilation of impl and intf Signed-off-by: Paul-Elliot <peada@free.fr> push 22 Dec 2023 03:14PM UTC panglesd github
56.13
502 separate-intf-impl Render source code: Update driver following new CLI Signed-off-by: Paul-Elliot <peada@free.fr> push 22 Dec 2023 01:22PM UTC panglesd github
56.13
501 separate-intf-impl Restore source hierarchy test Signed-off-by: Paul-Elliot <peada@free.fr> push 21 Dec 2023 02:55PM UTC panglesd github
56.13
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