Skip to content

Conversation

@tepi
Copy link
Contributor

@tepi tepi commented Dec 12, 2025

Fixes #4969

@tepi tepi linked an issue Dec 12, 2025 that may be closed by this pull request
@tepi tepi added the flow label Dec 12, 2025
@mshabarov mshabarov requested a review from mcollovati December 15, 2025 12:46
@tepi tepi enabled auto-merge (squash) December 16, 2025 05:03
@tepi tepi merged commit 5fbc7f2 into main Dec 16, 2025
3 checks passed
@tepi tepi deleted the fix/add-binder-binding-isApplied branch December 16, 2025 05:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add documentation for Binder's isApplied

2 participants