origin/trunk-#5370 (Jul 5, 2025, 8:19:07 AM)

Started 7 hr 44 min ago

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

Configurations