mbarbin / fingerboard / 132

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
132	main	Remove root dune-workspace file Only the versioned files are used by the CI	push	01 Feb 2026 02:59PM UTC	mbarbin	github	92.13
131	dependabot/github_actions/actions/checkout-6.0.2	Merge 36a1fc860 into b0ae42436	Pull #13	01 Feb 2026 01:11PM UTC	web-flow	github	92.13
130	main	Upgrade dunolint workflow - Use latest alpha version available - With added support for checking expected binary digest	push	01 Feb 2026 01:09PM UTC	mbarbin	github	92.13
129	main	Initiate code owners file for GH	push	01 Feb 2026 07:20AM UTC	mbarbin	github	92.13
128	dependabot/github_actions/actions/checkout-6.0.2	Merge 6f3fc9f3b into 1122c1290	Pull #13	01 Feb 2026 06:49AM UTC	web-flow	github	92.13
127	main	Increase lower bounds for maintainance	push	28 Jan 2026 09:20AM UTC	mbarbin	github	92.13
126	main	Improve default settings for GHA permissions	push	15 Jan 2026 07:24PM UTC	mbarbin	github	92.13
125	main	Set more-ci default shell to bash	push	13 Jan 2026 03:27PM UTC	mbarbin	github	92.13
124	main	Prepare dune-workspace files for CI workflows	push	09 Jan 2026 09:23AM UTC	mbarbin	github	92.13
123	main	Upgrade dunolint	push	04 Jan 2026 02:55PM UTC	mbarbin	github	92.13
122	main	Edit changelog	push	24 Dec 2025 10:27AM UTC	mbarbin	github	92.13
121	add-dunolint-config	Merge c01afc657 into 07a4f1f12	Pull #12	24 Dec 2025 10:15AM UTC	web-flow	github	92.13
120	main	Remove unused dep	push	23 Dec 2025 10:54PM UTC	mbarbin	github	92.13
119	main	Merge pull request #11 from mbarbin/reduce-deps Reduce deps	push	23 Dec 2025 10:45PM UTC	web-flow	github	92.13
118	reduce-deps	Merge b17e74f06 into ccb9da732	Pull #11	23 Dec 2025 10:36PM UTC	web-flow	github	92.13

• ← Previous
• 1
• 2
• 3
• 4
• 5
• 6
• Next →