mbarbin / fpath-base / 114

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
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
101	setup-dune-more-ci	Merge f2652be5d into 49b6b2356	Pull #28	08 Jan 2026 04:32PM UTC	web-flow	github	100.0
100	main	Remove workflow (now merged into more-ci)	push	08 Jan 2026 04:28PM UTC	mbarbin	github	100.0

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