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

mbarbin / dunolint
100%

Build:
DEFAULT BRANCH: main
Repo Added 12 Feb 2025 09:25PM UTC
Files 173
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-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-libs
  • coveralls
  • crs-workflows
  • dependabot/github_actions/actions/upload-pages-artifact-4
  • dependencies-sections
  • disable-macos-ci
  • doc-modes
  • doc-release-and-status
  • dune-cache-true
  • dune-lang-version
  • dunolint-file
  • dunolint-lib-base
  • dunolint-lib-ocaml-4
  • enable-macos-in-ci
  • engine-tests
  • first-run-tutorial
  • fix-cram
  • fix-disabled-colors
  • fix-pager
  • handling-comments
  • implicit-transitive-deps
  • implicit-transitive-false
  • improve-load-config-errors
  • improve-reported-coverage
  • improve-unsupported-constructs-errors
  • increase-coverage
  • increase-coverage-01
  • installation-guide
  • lang-dunolint-1.0
  • libraries-tests
  • library-modes
  • lint-file
  • linted-file-kind
  • linter-api-tests
  • linting-equilibrium
  • main
  • more-ci
  • more-libraries-tests
  • more-tests
  • ordered-set
  • pageantty
  • pin-odoc
  • pplumbing
  • pplumbing-pkgs
  • print-linted-file
  • reduce-config-libs-ppx
  • refactors
  • sections-handler
  • simplify-default-config-in-tests
  • simplify-open-via-flags
  • sort-open-via-flags
  • support-pps-sections
  • sync-git-pager
  • test-flags
  • test-helpers
  • test-workspaces
  • tutorial-101
  • update-crs
  • update-doc
  • update-err
  • upgrade-crs-20250813
  • upgrade-doc-1.0
  • upgrade-docusaurus
  • upgrade-odoc
  • use-vcs
  • use-versioned-sexp
  • versioned-config-format
  • wrap-cli

29 Sep 2025 10:16AM UTC coverage: 100.0%. Remained the same
275

push

github

web-flow
Merge pull request #115 from mbarbin/first-run-tutorial

Add First Run Through tutorial

6017 of 6017 relevant lines covered (100.0%)

23.03 hits per line

Relevant lines Covered
Build:
Build:
6017 RELEVANT LINES 6017 COVERED LINES
23.03 HITS PER LINE
Source Files on main
  • Tree
  • List 173
  • Changed 6
  • Source Changed 6
  • Coverage Changed 4
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
275 main Merge pull request #115 from mbarbin/first-run-tutorial Add First Run Through tutorial push 29 Sep 2025 10:23AM UTC web-flow github
100.0
274 first-run-tutorial Merge 759f38ce8 into a689f2e43 Pull #115 29 Sep 2025 10:08AM UTC web-flow github
100.0
273 test-workspaces Merge 265cd4033 into a689f2e43 Pull #113 28 Sep 2025 04:57PM UTC web-flow github
100.0
272 test-workspaces Merge f004ff8f7 into a689f2e43 Pull #113 28 Sep 2025 04:07PM UTC web-flow github
100.0
271 test-workspaces Merge 2b7e72e71 into a689f2e43 Pull #113 28 Sep 2025 03:18PM UTC web-flow github
100.0
267 main Merge pull request #110 from mbarbin/upgrade-doc-1.0 Update doc for (lang dunolint 1.0) push 22 Sep 2025 09:31AM UTC web-flow github
100.0
266 upgrade-doc-1.0 Merge b80aceee0 into 3d416dd5d Pull #110 22 Sep 2025 09:21AM UTC web-flow github
100.0
265 main Merge pull request #109 from mbarbin/pplumbing-pkgs Switch to split pplumbing pkgs push 21 Sep 2025 05:23PM UTC web-flow github
100.0
264 pplumbing-pkgs Merge 42cc8dc84 into 5460ed77b Pull #109 21 Sep 2025 03:57PM UTC web-flow github
100.0
263 main Hide setup steps in this doc by default push 15 Sep 2025 08:09AM UTC mbarbin github
100.0
See All Builds (231)
  • 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