origin/trunk-#5365 (Jul 1, 2025, 4:57:14 PM)

Started 22 hr ago

	Started by GitHub push by nojb
	Revision: 01ebbbd3d1b99cacf368345a8989136f8b38f0b2 Repository: https://github.com/ocaml/ocaml/ origin/trunk

Configurations