origin/trunk-#5413 (Aug 28, 2025, 6:19:50 PM)

Started 16 hr ago

	Started by GitHub push by gasche
	Revision: 1fd6eaec9f0f9b90aed453834e19f1d0de7f18ba Repository: https://github.com/ocaml/ocaml/ origin/trunk

Configurations