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

fix: typing errors from dmypy #2451

Merged
merged 1 commit into from Jun 20, 2023

Conversation

aucampia
Copy link
Member

Summary of changes

Fix various typing errors that are reported when running with dmypy, the mypy daemon.

Also add a task for running dmypy to the Taskfile that can be selected as the default mypy variant by setting the MYPY_VARIANT environment variable to dmypy.

Checklist

  • Checked that there aren't other open pull requests for
    the same change.
  • Checked that all tests and type checking passes.
  • Considered granting push permissions to the PR branch,
    so maintainers can fix minor issues and keep your PR up to date.

@aucampia aucampia requested a review from a team June 18, 2023 22:11
@aucampia aucampia added review wanted This indicates that the PR is ready for review ready to merge The PR will be merged soon if no further feedback is provided. fix Fixes an issue type hints Relating to type hints or type aliases labels Jun 18, 2023
@aucampia aucampia force-pushed the aucampia/20230618T2354-dmypy branch 2 times, most recently from 43bdb25 to edc6d7e Compare June 19, 2023 19:21
Fix various typing errors that are reported when running with `dmypy`,
the mypy daemon.

Also add a task for running `dmypy` to the Taskfile that can be selected
as the default mypy variant by setting the `MYPY_VARIANT` environment
variable to `dmypy`.
@aucampia aucampia force-pushed the aucampia/20230618T2354-dmypy branch from edc6d7e to e5c8fcb Compare June 19, 2023 19:29
@coveralls
Copy link

Coverage Status

coverage: 90.9% (+0.01%) from 90.888% when pulling e5c8fcb on aucampia:aucampia/20230618T2354-dmypy into f278b86 on RDFLib:main.

@aucampia aucampia merged commit 10f9ebe into RDFLib:main Jun 20, 2023
22 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
fix Fixes an issue ready to merge The PR will be merged soon if no further feedback is provided. review wanted This indicates that the PR is ready for review type hints Relating to type hints or type aliases
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants