Skip to content

Updates to development tooling#74

Merged
sydp merged 1 commit intogoogle:mainfrom
sydp:update_dev
Feb 1, 2026
Merged

Updates to development tooling#74
sydp merged 1 commit intogoogle:mainfrom
sydp:update_dev

Conversation

@sydp
Copy link
Collaborator

@sydp sydp commented Feb 1, 2026

Adds mypy, pyink, pre-commit to development requirements and related fixes.

  • Tests pass
  • Appropriate changes to documentation are included in the PR

@sydp sydp marked this pull request as ready for review February 1, 2026 20:05
@sydp sydp merged commit 3e7637d into google:main Feb 1, 2026
20 checks passed
@sydp sydp deleted the update_dev branch February 4, 2026 09:14
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