Skip to content

chore: hooks update#531

Merged
ssbarnea merged 1 commit intomainfrom
fix/pep-735
Oct 5, 2025
Merged

chore: hooks update#531
ssbarnea merged 1 commit intomainfrom
fix/pep-735

Conversation

@ssbarnea
Copy link
Copy Markdown
Member

@ssbarnea ssbarnea commented Oct 3, 2025

No description provided.

@github-actions github-actions bot added chore and removed chore labels Oct 3, 2025
@ssbarnea ssbarnea disabled auto-merge October 5, 2025 14:02
@ssbarnea ssbarnea merged commit a5e1871 into main Oct 5, 2025
23 checks passed
@ssbarnea ssbarnea deleted the fix/pep-735 branch October 5, 2025 14:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

1 participant