origin/trunk-#5406 (Aug 18, 2025, 11:06:32 AM)

Started 17 hr ago

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

Configurations