#4931

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
#4931	master	Return correct characteristics from spliterators (#1884) * Return correct characteristics from spliterators * Fix and comments	push	02 Jul 2025 12:55AM UTC	web-flow	github	100.0
#4930	master	increase branch coverage	push	29 Jun 2025 11:05PM UTC	ben-manes	github	100.0
#4929	master	increase branch coverage	push	29 Jun 2025 10:42PM UTC	ben-manes	github	100.0
#4928	v3.dev	increase branch coverage	push	29 Jun 2025 08:57PM UTC	ben-manes	github	100.0
#4927	v3.dev	increase branch coverage	push	29 Jun 2025 10:00AM UTC	ben-manes	github	100.0
#4926	v3.dev	increase branch coverage	push	29 Jun 2025 09:34AM UTC	ben-manes	github	100.0
#4925	v3.dev	increase branch coverage	push	29 Jun 2025 07:50AM UTC	ben-manes	github	100.0
#4924	v3.dev	increase branch coverage	push	29 Jun 2025 07:35AM UTC	ben-manes	github	100.0
#4923	v3.dev	increase branch coverage	push	29 Jun 2025 06:42AM UTC	ben-manes	github	100.0
#4922	v3.dev	increase branch coverage	push	28 Jun 2025 02:33AM UTC	ben-manes	github	100.0
#4921	v3.dev	increase branch coverage	push	25 Jun 2025 09:56PM UTC	ben-manes	github	100.0
#4920	v3.dev	increase branch coverage	push	25 Jun 2025 06:24AM UTC	ben-manes	github	100.0
#4919	v3.dev	increase branch coverage	push	24 Jun 2025 06:19AM UTC	ben-manes	github	100.0
#4918	master	increase branch coverage	push	23 Jun 2025 02:55AM UTC	ben-manes	github	100.0
#4917	v3.dev	increase branch coverage	push	23 Jun 2025 01:54AM UTC	ben-manes	github	100.0