Skip to content

Conversation

@pedwrds
Copy link
Contributor

@pedwrds pedwrds commented Sep 8, 2025

…name

@pedwrds pedwrds linked an issue Sep 8, 2025 that may be closed by this pull request
@pedwrds pedwrds self-assigned this Sep 8, 2025
@alex-gregory-ds
Copy link
Contributor

This looks good to me. Thanks, @pedwrds.

@alex-gregory-ds alex-gregory-ds merged commit 48c7b52 into main Sep 22, 2025
2 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.

Check_mypy_import_errors hok fails for projects with updated toml tables

3 participants