Update dependencies and types #253

Merged
Anri merged 2 commits from update-deps into main 2025-08-22 16:04:33 +02:00
Owner
No description provided.
Update dependencies and types
All checks were successful
PR Check / lint-and-format (pull_request) Successful in 27s
b35ea1b928
Anri merged commit 4268df713b into main 2025-08-22 16:04:33 +02:00
Anri deleted branch update-deps 2025-08-22 16:04:33 +02:00
Anri referenced this pull request from a commit 2025-08-22 16:04:34 +02:00
Sign in to join this conversation.
No description provided.