mbarbin / fpath-base / 116

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
116	main	Upgrade dunolint workflow	push	17 Feb 2026 08:03PM UTC	mbarbin	github	100.0
115	main	Bump setup-dune to v2.0.0+patch-4 and add cache-readonly across repos Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>	push	17 Feb 2026 07:35PM UTC	mbarbin	github	100.0
114	dependabot/github_actions/actions/checkout-6.0.2	Merge 46613f90f into 3db13d5b5	Pull #30	01 Feb 2026 04:20PM UTC	web-flow	github	100.0
113	main	Merge pull request #31 from mbarbin/migrate-main-ci-setup-dune Migrate main ci setup dune	push	01 Feb 2026 04:17PM UTC	web-flow	github	100.0
112	migrate-main-ci-setup-dune	Merge bf2392d20 into f47a0ddb1	Pull #31	01 Feb 2026 03:54PM UTC	web-flow	github	100.0
111	dependabot/github_actions/actions/checkout-6.0.2	Merge 02ceb1d1f into f47a0ddb1	Pull #30	01 Feb 2026 07:02AM UTC	web-flow	github	100.0
110	main	Transition some workflows from more-ci to setup-dune	push	23 Jan 2026 01:30PM UTC	mbarbin	github	100.0
109	main	Update setup-dune sha (fix macos build path issue)	push	16 Jan 2026 10:27PM UTC	mbarbin	github	100.0
108	main	Upgrade setup-dune (v2.0.0+patched)	push	16 Jan 2026 07:52PM UTC	mbarbin	github	100.0
107	main	Improve default settings for GHA permissions	push	15 Jan 2026 07:45PM UTC	mbarbin	github	100.0
106	main	Upgrade setup-dune to v2.0.0+only-packages	push	13 Jan 2026 03:43PM UTC	mbarbin	github	100.0
105	main	Make run shell more portable by default	push	10 Jan 2026 03:47PM UTC	mbarbin	github	100.0
104	attach-locks-to-contexts	Merge dda37bc9d into ba5e64527	Pull #29	09 Jan 2026 09:43AM UTC	web-flow	github	100.0
103	attach-locks-to-contexts	Merge 05816c570 into ba5e64527	Pull #29	08 Jan 2026 05:02PM UTC	web-flow	github	100.0
102	attach-locks-to-contexts	Merge c2fffafb0 into ba5e64527	Pull #29	08 Jan 2026 04:54PM UTC	web-flow	github	100.0

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