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

ocaml / odoc
73%
master: 73%

Build:
Build:
LAST BUILD BRANCH: fix-page-remap
DEFAULT BRANCH: master
Repo Added 23 Oct 2020 02:29PM UTC
Files 88
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 fix-page-remap
branch: fix-page-remap
CHANGE BRANCH
x
Reset
  • fix-page-remap
  • 3.1.0-prep
  • HEAD
  • OCaml_5.4_support
  • add-doc-comments-to-document-dot-types
  • add-markdown-generator
  • ambiguous-ref-warning
  • changelog-300
  • cleanup_utils
  • crash-reason380
  • css-fix
  • css-tweaks
  • delete-obsolete-symlinks
  • dependabot/github_actions/actions/checkout-5
  • dependabot/github_actions/actions/checkout-6
  • dlesbre/katex-options
  • docs-again
  • docs-v3
  • document-types-for-document_lib
  • driver-compile-warnings
  • driver-fix-home-bcr-cmd
  • fix-1139
  • fix-1351
  • fix-610
  • fix-bench
  • fix-cmarkit-license
  • fix-gh-issue-1001
  • fix-home-breadcrumb
  • fix-monorepo-stack-overflow
  • fix-rdbg
  • fix-suppress_warnings
  • fixup-changes
  • fmt-typ-as-lhs
  • fpath-bounds
  • further-voodoo
  • further-voodoo-tweaks-v2
  • image_support_for_latex
  • improved-magic
  • index-override
  • katrinafyi-patch-1
  • markdown-generate
  • master
  • md-generator-dup
  • merge-sherlodoc
  • mini-doc-fix
  • minor-doc-fix
  • module-type-alias
  • monorepo-mode-fixes
  • more-misc-fixes
  • more-remap-fixes
  • more-work-on-uri-command
  • move-markdown-into-generators
  • nb/delimited-code-block-with-meta-and-output
  • nb/fix-box-model
  • no-impl-warnings
  • no-links-to-hidden-pages
  • no-more-408
  • occurrences-strip-path
  • odoc-driver-deps-odoc-md
  • odoc_driver_occurrences_fixes
  • odoc_latex_section_label_fix
  • odoc_latex_shorten_submodules
  • opam-2.5
  • parenthesize-letop
  • pr/panglesd/980
  • preview-ocamlformat-0.27.0-preview1
  • rawoptional-402-compat
  • release-2.0.0-beta
  • remap-mode-fixes
  • remove-test-lib
  • render-source-files
  • rework-markdown-generator
  • safe_file_handling
  • shape2
  • sherlodoc-libs
  • simplified-search-index
  • split-driver
  • support-doc-comments-on-functions-params
  • sync-with-v3
  • test-tmp
  • timmy-again
  • tyxml-4.3.0
  • unknown-uninstalled-opam-packages
  • update-docs
  • v2.1
  • v2.2
  • v2.3
  • v2.4
  • v3.0
  • v3.1
  • vendor-sherlodoc
  • virtual-library-fixes
  • voodoo-fix
  • voodoo-occurrences

10 Dec 2025 05:26PM UTC coverage: 72.945% (-0.001%) from 72.946%
3039

Pull #1395

github

web-flow
Merge e6019f43e into d8460cdaa
Pull Request #1395: Fix URL remapping for page references

9 of 10 new or added lines in 2 files covered. (90.0%)

10391 of 14245 relevant lines covered (72.94%)

7133.49 hits per line

Relevant lines Covered
Build:
Build:
14245 RELEVANT LINES 10391 COVERED LINES
7133.49 HITS PER LINE
Source Files on fix-page-remap
  • Tree
  • List 88
  • 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
3039 fix-page-remap Merge e6019f43e into d8460cdaa Pull #1395 10 Dec 2025 05:35PM UTC web-flow github
72.94
3038 fix-page-remap Fix URL remapping for page references Page links were not being remapped because the remap prefix check only matched against the directory path. For modules, the module name is part of the directory (e.g., prefix/otherpkg/Otherlib/index.html), so... push 10 Dec 2025 05:32PM UTC jonludlam github
72.94
See All Builds (2159)
  • 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