Skip to content

fix lint and doc#31

Merged
arnaudon merged 1 commit intomainfrom
fix_publish
Feb 13, 2025
Merged

fix lint and doc#31
arnaudon merged 1 commit intomainfrom
fix_publish

Conversation

@arnaudon
Copy link
Collaborator

No description provided.

@arnaudon arnaudon requested a review from agosztolai February 13, 2025 14:57
@arnaudon arnaudon merged commit aec209e into main Feb 13, 2025
3 checks passed
@arnaudon arnaudon deleted the fix_publish branch February 13, 2025 15:16
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