Skip to content

Add mypy to dev extras - #244

Merged
dhalperi merged 1 commit into
masterfrom
spr/master/bcc3e0b5
Mar 23, 2026
Merged

Add mypy to dev extras#244
dhalperi merged 1 commit into
masterfrom
spr/master/bcc3e0b5

Conversation

@dhalperi

@dhalperi dhalperi commented Mar 23, 2026

Copy link
Copy Markdown
Member

Move mypy from ad-hoc CI install to the [dev] extras so it's
installed consistently in both local venvs and CI.


Prompt:

What if anything should we do to modernize this package or
the github ci?

This change is Reviewable

Move mypy from ad-hoc CI install to the [dev] extras so it's
installed consistently in both local venvs and CI.

----

Prompt:
```
What if anything should we do to modernize this package or
the github ci?
```

commit-id:bcc3e0b5

@dhalperi dhalperi left a comment

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@dhalperi reviewed 2 files and all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved.

@dhalperi
dhalperi merged commit d484fbf into master Mar 23, 2026
14 checks passed
@dhalperi
dhalperi deleted the spr/master/bcc3e0b5 branch March 23, 2026 19:00
manonfgoo pushed a commit to manonfgoo/netconan that referenced this pull request Mar 23, 2026
Move mypy from ad-hoc CI install to the [dev] extras so it's
installed consistently in both local venvs and CI.

----

Prompt:
```
What if anything should we do to modernize this package or
the github ci?
```

commit-id:bcc3e0b5
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