Skip to content

Internal Improvements and new features for upcoming minor release - #70

Merged
rcalicdan merged 10 commits into
mainfrom
self-out-feature
Sep 17, 2026
Merged

rcalicdan merged 10 commits into
mainfrom
self-out-feature

Conversation

@rcalicdan

@rcalicdan rcalicdan commented Sep 17, 2026 •

Copy link
Copy Markdown
Member

@rcalicdan rcalicdan self-assigned this Sep 17, 2026
@rcalicdan rcalicdan added the duplicate This issue or pull request already exists label Sep 17, 2026
@codecov

codecov Bot commented Sep 17, 2026 •

Copy link
Copy Markdown

@rcalicdan rcalicdan added enhancement New feature or request and removed duplicate This issue or pull request already exists labels Sep 17, 2026
@rcalicdan
rcalicdan merged commit b13b27d into main Sep 17, 2026
12 checks passed
@rcalicdan rcalicdan linked an issue Sep 17, 2026 that may be closed by this pull request
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

PHPStan Divergences

1 participant