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

mbarbin / dunolint
100%

Build:
DEFAULT BRANCH: main
Repo Added 12 Feb 2025 09:25PM UTC
Files 194
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 main
branch: SELECT
CHANGE BRANCH
x
  • No branch selected
  • add-lint-test
  • add-mode-melange
  • add-tests
  • aj/emacs-reformatter
  • aj/pre-commit
  • algolia-search
  • arvidj-review
  • auto-load-root-dunolint
  • change-dune-lang-sexp
  • cli-linter-tweak
  • cli-rename
  • config-autoloading
  • config-handler
  • config-libs
  • context-refactor
  • coveralls
  • crs-workflows
  • dependabot/github_actions/actions/checkout-6
  • dependabot/github_actions/actions/setup-node-5
  • dependabot/github_actions/actions/setup-node-6
  • dependabot/github_actions/actions/upload-pages-artifact-4
  • dependabot/github_actions/reviewdog/action-setup-1.5.0
  • dependabot/github_actions/softprops/action-gh-release-2.3.3
  • dependabot/github_actions/softprops/action-gh-release-2.4.1
  • dependabot/github_actions/softprops/action-gh-release-2.5.0
  • dependencies-sections
  • directory-structure
  • disable-macos-ci
  • doc-dunolint-reformatter
  • doc-modes
  • doc-release-and-status
  • document-autoloading
  • dune-cache-true
  • dune-lang-version
  • dunolint-file
  • dunolint-lib-base
  • dunolint-lib-ocaml-4
  • enable-default-skip-paths
  • enable-macos-in-ci
  • engine-tests
  • extend-version-compare-operators
  • first-run-tutorial
  • fix-cram
  • fix-disabled-colors
  • fix-pager
  • fix-workspace-root-in-test
  • fpath-base.0.4.0
  • handling-comments
  • implicit-transitive-deps
  • implicit-transitive-false
  • improve-load-config-errors
  • improve-reported-coverage
  • improve-test-lint-dunolint-file
  • improve-unsupported-constructs-errors
  • improve-vendor-header
  • increase-coverage
  • increase-coverage-01
  • init-dunolint-linter
  • installation-guide
  • lang-dunolint-1.0
  • libraries-tests
  • library-modes
  • lint-file
  • linted-file-kind
  • linter-api-tests
  • linting-equilibrium
  • located-path-refactor
  • main
  • more-ci
  • more-libraries-tests
  • more-tests
  • ocaml-5.4-in-ci
  • ordered-set
  • pageantty
  • path-in-workspace
  • pin-odoc
  • pplumbing
  • pplumbing-pkgs
  • preparation-refactors
  • print-linted-file
  • reduce-config-libs-ppx
  • refactors
  • remove-config-v0
  • remove-path-dep
  • rm-lint-file-enforce
  • sections-handler
  • simplify-config-skip-paths
  • simplify-default-config-in-tests
  • simplify-open-via-flags
  • sort-open-via-flags
  • support-pps-sections
  • sync-git-pager
  • test-config-cache
  • test-flags
  • test-helpers
  • test-workspaces
  • tutorial-101
  • tweak-improve-tests
  • tweaks-for-zanuda
  • update-crs
  • update-doc
  • update-err
  • upgrade-crs-20250813
  • upgrade-crs.0.0.20251014
  • upgrade-doc-1.0
  • upgrade-docusaurus
  • upgrade-odoc
  • use-vcs
  • use-versioned-sexp
  • versioned-config-format
  • wrap-cli

28 Dec 2025 03:59PM UTC coverage: 100.0%. Remained the same
364

push

github

mbarbin
Remove redundant skip_paths from local config

These paths are now automatically added by the application via
default_skip_paths_config() in common_helpers.ml, making the
local config entries redundant.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

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

6974 of 6974 relevant lines covered (100.0%)

31.56 hits per line

Relevant lines Covered
Build:
Build:
6974 RELEVANT LINES 6974 COVERED LINES
31.56 HITS PER LINE
Source Files on main
  • Tree
  • List 194
  • Changed 1
  • Source Changed 1
  • Coverage Changed 1
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
364 main Remove redundant skip_paths from local config These paths are now automatically added by the application via default_skip_paths_config() in common_helpers.ml, making the local config entries redundant. 🤖 Generated with [Claude Code](https://clau... push 28 Dec 2025 04:47PM UTC mbarbin github
100.0
363 simplify-config-skip-paths Merge 449173bef into dee83536a Pull #149 28 Dec 2025 04:39PM UTC web-flow github
100.0
362 main Merge pull request #148 from mbarbin/improve-test-lint-dunolint-file Simplify lint-dunolint-file.t by removing duplicated tests push 28 Dec 2025 04:03PM UTC web-flow github
100.0
361 improve-test-lint-dunolint-file Merge 927d4d2c3 into 1f49f3bb1 Pull #148 28 Dec 2025 03:46PM UTC web-flow github
100.0
360 main Edit changelog push 28 Dec 2025 03:21PM UTC mbarbin github
100.0
359 doc-dunolint-reformatter Merge 5a3e6f046 into f096bf73a Pull #147 27 Dec 2025 06:56PM UTC web-flow github
100.0
358 main Merge pull request #146 from mbarbin/init-dunolint-linter Init linter for `dunolint` files push 27 Dec 2025 06:53PM UTC web-flow github
100.0
357 init-dunolint-linter Merge 46a379d69 into 79ee600c0 Pull #146 27 Dec 2025 06:34PM UTC web-flow github
100.0
356 extend-version-compare-operators Merge bcfe0103b into 79ee600c0 Pull #145 27 Dec 2025 08:02AM UTC web-flow github
100.0
355 extend-version-compare-operators Merge a90224e2b into 79ee600c0 Pull #145 27 Dec 2025 07:51AM UTC web-flow github
100.0
See All Builds (314)
  • 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