origin/trunk-#5423 (Sep 3, 2025, 11:39:41 PM)

Started 9 hr 23 min ago

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

Configurations