mbarbin/file-rewriter | Coveralls - Test Coverage History & Statistics

Committed 01 Feb 2026 04:00PM UTC coverage: 100.0%. Remained the same

Build # 77

Build Type

push

github

Committed by

Commit Message

Merge pull request #17 from mbarbin/migrate-main-ci-setup-dune

Migrate main ci setup dune

Run Details

395 of 395 relevant lines covered (100.0%)

4.84 hits per line

395 RELEVANT LINES 395 COVERED LINES

4.84 HITS PER LINE

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
77	main	Merge pull request #17 from mbarbin/migrate-main-ci-setup-dune Migrate main ci setup dune	push	01 Feb 2026 04:15PM UTC	web-flow	github	100.0
78	dependabot/github_actions/actions/checkout-6.0.2	Merge 671d090f6 into bb53e0caa	Pull #16	01 Feb 2026 04:13PM UTC	web-flow	github	100.0
76	migrate-main-ci-setup-dune	Merge 0836a5f45 into 612973d4f	Pull #17	01 Feb 2026 03:26PM UTC	web-flow	github	100.0
75	dependabot/github_actions/actions/checkout-6.0.2	Merge e352bddd0 into 612973d4f	Pull #16	01 Feb 2026 07:04AM UTC	web-flow	github	100.0
74	main	Improve default settings for GHA permissions	push	15 Jan 2026 07:47PM UTC	mbarbin	github	100.0
73	main	Set more-ci default shell to bash	push	13 Jan 2026 03:23PM UTC	mbarbin	github	100.0
72	main	Prepare dune-workspace files for CI workflows	push	09 Jan 2026 09:21AM UTC	mbarbin	github	100.0
71	main	Upgrade dunolint	push	04 Jan 2026 02:56PM UTC	mbarbin	github	100.0
70	main	Edit changelog	push	24 Dec 2025 09:19AM UTC	mbarbin	github	100.0
69	main	Merge pull request #15 from mbarbin/remove-deps Refactor to reduce project deps	push	23 Dec 2025 10:40AM UTC	web-flow	github	100.0

mbarbin / file-rewriter
100%