Skip to content

fix docs.rs build - #88

Merged
FlorianUekermann merged 1 commit into
mainfrom
fix-docs
Jan 16, 2026
Merged

fix docs.rs build#88
FlorianUekermann merged 1 commit into
mainfrom
fix-docs

Conversation

@FlorianUekermann

Copy link
Copy Markdown
Owner

No description provided.

@FlorianUekermann
FlorianUekermann force-pushed the fix-docs branch 4 times, most recently from 5ab2f0e to e168956 Compare January 16, 2026 13:12
@FlorianUekermann
FlorianUekermann merged commit 3790752 into main Jan 16, 2026
37 checks passed
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