mbarbin / cubzzle / 191

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
191	main	Update setup-dune sha (fix macos build path issue)	push	16 Jan 2026 10:25PM UTC	mbarbin	github	84.29
190	main	Upgrade setup-dune (v2.0.0+patched)	push	16 Jan 2026 07:54PM UTC	mbarbin	github	84.29
189	main	Improve default settings for GHA permissions	push	15 Jan 2026 07:21PM UTC	mbarbin	github	84.29
188	main	Upgrade setup-dune to v2.0.0+only-packages	push	13 Jan 2026 03:25PM UTC	mbarbin	github	84.29
187	main	Remove previous dune.yml experiment - Subsumed by dune-pkg-more-ci	push	10 Jan 2026 03:39PM UTC	mbarbin	github	84.29
186	main	Merge pull request #26 from mbarbin/dune-pkg-more-ci Add experimental CI workflows based on setup-dune	push	10 Jan 2026 02:40PM UTC	web-flow	github	84.29
185	dune-pkg-more-ci	Merge 067799233 into 84a284c79	Pull #26	10 Jan 2026 02:05PM UTC	web-flow	github	84.29
184	main	Prepare dune-workspace files for CI workflows	push	09 Jan 2026 09:19AM UTC	mbarbin	github	84.29
183	main	Use --only-packages instead of -p in more-ci targets	push	06 Jan 2026 03:44PM UTC	mbarbin	github	84.29
182	main	Merge pull request #25 from mbarbin/use-portable-opam-update Switch system package manager update to opam cmd	push	06 Jan 2026 03:39PM UTC	web-flow	github	84.29
181	use-portable-opam-update	Merge 8c33f08eb into 9159c3d2c	Pull #25	06 Jan 2026 09:21AM UTC	web-flow	github	84.29
179	main	Merge pull request #24 from mbarbin/attempt-fixing-depext-ci Attempt to update package index in ci recipe	push	04 Jan 2026 05:49PM UTC	web-flow	github	84.29
178	attempt-fixing-depext-ci	Merge 3fa78dd1d into 1241506ba	Pull #24	04 Jan 2026 05:42PM UTC	web-flow	github	84.29
170	test-setup-dune-repkg	Merge cf76f99ac into 0b52a3907	Pull #23	16 Dec 2025 09:31PM UTC	web-flow	github	84.29
169	main	Tweaks	push	15 Dec 2025 08:57PM UTC	mbarbin	github	84.29

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