origin/trunk-#5363 (Jun 28, 2025, 5:42:38 PM)

Started 9 hr 39 min ago

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

Configurations