Skip to content

Chore/remove nbsphinx#6

Merged
andreafailla merged 3 commits intomainfrom
chore/remove-nbsphinx
Nov 19, 2025
Merged

Chore/remove nbsphinx#6
andreafailla merged 3 commits intomainfrom
chore/remove-nbsphinx

Conversation

@andreafailla
Copy link
Collaborator

No description provided.

@andreafailla andreafailla merged commit fe82ed1 into main Nov 19, 2025
2 checks passed
@andreafailla andreafailla deleted the chore/remove-nbsphinx branch November 19, 2025 14:53
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