Skip to content

[Chores] pre-commit + docs#130

Merged
jmmshn merged 6 commits intomainfrom
chores/pre-commit
Oct 13, 2025
Merged

[Chores] pre-commit + docs#130
jmmshn merged 6 commits intomainfrom
chores/pre-commit

Conversation

@jmmshn
Copy link
Copy Markdown
Collaborator

@jmmshn jmmshn commented Oct 10, 2025

Cleanup

  • Make sure pre-commit and tests use 3.13 and pass
  • Updated docs dependencies
  • Moved workflows to uv with cache

@jmmshn jmmshn force-pushed the chores/pre-commit branch from 7653fc0 to a6d751f Compare October 13, 2025 01:23
@jmmshn jmmshn changed the title Chores/pre commit [Chores] pre-commit + docs Oct 13, 2025
@jmmshn jmmshn merged commit ad6b7eb into main Oct 13, 2025
6 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