origin/trunk-#5415 (Aug 29, 2025, 2:32:23 PM)

Started 1 day 0 hr ago

	Started by GitHub push by damiendoligez
	Revision: 144463d346054ad202e72ca4dcd59ded2d0d17ea Repository: https://github.com/ocaml/ocaml/ origin/trunk

Configurations