Skip to content

Add getExactSize() to ranges#105

Merged
mlocati merged 4 commits into
mainfrom
range-exact-size
Sep 23, 2025
Merged

Add getExactSize() to ranges#105
mlocati merged 4 commits into
mainfrom
range-exact-size

Conversation

@mlocati
Copy link
Copy Markdown
Owner

@mlocati mlocati commented Sep 23, 2025

No description provided.

@mlocati mlocati force-pushed the range-exact-size branch 3 times, most recently from 82e115d to 6db4c15 Compare September 23, 2025 09:05
@coveralls
Copy link
Copy Markdown

coveralls commented Sep 23, 2025

Coverage Status

coverage: 98.675% (+0.03%) from 98.642%
when pulling 57ce162 on range-exact-size
into 178d74d on main.

@mlocati mlocati force-pushed the range-exact-size branch 2 times, most recently from b9844f2 to b09c0f7 Compare September 23, 2025 09:58
@mlocati mlocati marked this pull request as ready for review September 23, 2025 09:59
Comment thread src/Range/RangeInterface.php Outdated
Co-authored-by: Gabriel Ostrolucký <gadelat@gmail.com>
@mlocati mlocati merged commit 052df26 into main Sep 23, 2025
20 of 22 checks passed
@mlocati mlocati deleted the range-exact-size branch September 23, 2025 12:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants