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

Started 1 day 13 hr ago

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

Configurations