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

mypy annotation for test_dos.py #19036

Merged
merged 2 commits into from
Feb 25, 2025
Merged

mypy annotation for test_dos.py #19036

merged 2 commits into from
Feb 25, 2025

Conversation

arvidn
Copy link
Contributor

@arvidn arvidn commented Dec 12, 2024

Purpose:

Remove unused code and introduce stricter type checking of test_dos.py, gradually getting closer to full mypy coverage.

Current Behavior:

test_dos.py does not have full mypy coverage.

There are 3 copies of an unused function, get_block_path().

New Behavior:

test_dos.py has full mypy coverage (the the extent our repo is configured).

Unused function get_block_path() has been removed.

Testing Notes:

@arvidn arvidn added Changed Required label for PR that categorizes merge commit message as "Changed" for changelog Tests Changes to tests labels Dec 12, 2024
@arvidn arvidn changed the title Test cleanup mypy annotation for test_dos.py Dec 12, 2024
@arvidn arvidn marked this pull request as ready for review December 12, 2024 11:52
@arvidn arvidn requested a review from a team as a code owner December 12, 2024 11:52
@arvidn arvidn requested a review from AmineKhaldi December 12, 2024 11:52
Copy link
Contributor

This PR has been flagged as stale due to no activity for over 60 days. It will not be automatically closed, but it has been given a stale-pr label and should be manually reviewed by the relevant parties.

@github-actions github-actions bot added the stale-pr Flagged as stale and in need of manual review label Jan 27, 2025
emlowe
emlowe previously approved these changes Feb 20, 2025
@github-actions github-actions bot removed the stale-pr Flagged as stale and in need of manual review label Feb 21, 2025
Copy link
Contributor

This pull request has conflicts, please resolve those before we can evaluate the pull request.

@github-actions github-actions bot added the merge_conflict Branch has conflicts that prevent merge to main label Feb 24, 2025
@github-actions github-actions bot removed the merge_conflict Branch has conflicts that prevent merge to main label Feb 24, 2025
Copy link
Contributor

Conflicts have been resolved. A maintainer will review the pull request shortly.

@TheLastCicada TheLastCicada merged commit 45bac2e into main Feb 25, 2025
360 checks passed
@TheLastCicada TheLastCicada deleted the test-cleanup branch February 25, 2025 19:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Changed Required label for PR that categorizes merge commit message as "Changed" for changelog Tests Changes to tests
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants