Skip to content
This repository was archived by the owner on Jan 20, 2026. It is now read-only.

Preventing duplicate casts and optimize collection checks#426

Merged
hellzerg merged 2 commits intohellzerg:masterfrom
marco-carvalho:performance
Dec 4, 2023
Merged

Preventing duplicate casts and optimize collection checks#426
hellzerg merged 2 commits intohellzerg:masterfrom
marco-carvalho:performance

Conversation

@marco-carvalho
Copy link
Contributor

No description provided.

@hellzerg hellzerg merged commit 7757f45 into hellzerg:master Dec 4, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants