Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Issue #241 - Add linters and dev tools to match Core #250

Merged
merged 4 commits into from
Jul 26, 2023
Merged

Conversation

MJJoyce
Copy link
Member

@MJJoyce MJJoyce commented Jan 19, 2023

Add devel dependencies, linters, and check pipeline to match Core. This
currently includes black, mypy, flake8, and other pre-commit pipelines.

Various minor code updates to keep mypy and other linters happy. Note,
some of the mypy errors required minor updates in core so type checking
would pass. Changes will be pushed to Core to address that separately.

Add stripped down version of tox config from Core. This has
python-version specific testing removed since we don't have a test suite
(in python) to exercise stuff.

Note, the tox runs won't work currently due to required changes that are
pending in other PRs.

Resolve #241

@MJJoyce MJJoyce requested review from a team as code owners January 19, 2023 22:29
MJJoyce added 4 commits July 26, 2023 14:41
Add devel dependencies, linters, and check pipeline to match Core. This
currently includes black, mypy, flake8, and other pre-commit pipelines.
Various minor code updates to keep mypy and other linters happy. Note,
some of the mypy errors required minor updates in core so type checking
could be run. Changes will be pushed to Core to address that separately.
Add stripped down version of tox config from Core. This has
python-version specific testing removed since we don't have a test suite
(in python) to exercise stuff.

Note, the tox runs won't work currently due to required changes that are
pending in other PRs.
@MJJoyce MJJoyce merged commit 0c08275 into master Jul 26, 2023
@MJJoyce MJJoyce deleted the issue-241 branch July 26, 2023 21:41
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.

Add linters and dev tools to match Core
1 participant