origin/trunk-#5417 (Aug 29, 2025, 2:58:23 PM)

Started 2 days 7 hr ago

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

Configurations