Skip to content

Comments

api: remove typed path#375

Merged
NathaelB merged 1 commit intomainfrom
remove-typed-path
Aug 23, 2025
Merged

api: remove typed path#375
NathaelB merged 1 commit intomainfrom
remove-typed-path

Conversation

@leroyguillaume
Copy link
Contributor

No description provided.

Copy link
Member

@NathaelB NathaelB left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

big job !

@NathaelB NathaelB merged commit 6f0cf25 into main Aug 23, 2025
9 checks passed
@NathaelB NathaelB deleted the remove-typed-path branch August 23, 2025 22:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants