Skip to content

chore: bump deps#22

Merged
guillaumemichel merged 1 commit intomainfrom
deps-20251003
Oct 3, 2025
Merged

chore: bump deps#22
guillaumemichel merged 1 commit intomainfrom
deps-20251003

Conversation

@guillaumemichel
Copy link
Copy Markdown
Collaborator

No description provided.

@guillaumemichel guillaumemichel merged commit e6468d4 into main Oct 3, 2025
4 checks passed
@guillaumemichel guillaumemichel deleted the deps-20251003 branch October 3, 2025 07:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant