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

Attempt to fix mypy check #16103

Merged
merged 1 commit into from May 17, 2023
Merged

Conversation

davelopez
Copy link
Contributor

I'm a bit confused by the mypy error consistently failing in all PRs. It doesn't look that this should happen.

galaxy/model/migrations/util.py:154: error: Too many positional arguments for "drop_index"  [misc]
            op.drop_index(self.index_name, self.table_name)

How to test the changes?

  • This is a refactoring of components with existing test coverage.

License

  • I agree to license these and all my past contributions to the core galaxy codebase under the MIT license.

galaxy/model/migrations/util.py:154: error: Too many positional arguments for
"drop_index"  [misc]
            op.drop_index(self.index_name, self.table_name)
@github-actions github-actions bot added the area/database Galaxy's database or data access layer label May 17, 2023
@nsoranzo
Copy link
Member

Yes, this is the correct fix for the dev branch, I'm opening a separate PR for release_23.0, see #16099 (comment)

@davelopez
Copy link
Contributor Author

Ohh I see, thank you Nicola! I didn't see the comment.

@davelopez davelopez marked this pull request as ready for review May 17, 2023 10:25
@nsoranzo
Copy link
Member

The PR for release_23.0 is at #16104

@github-actions github-actions bot added this to the 23.1 milestone May 17, 2023
@jmchilton jmchilton merged commit 54f607e into galaxyproject:dev May 17, 2023
40 of 41 checks passed
@github-actions
Copy link

This PR was merged without a "kind/" label, please correct.

@davelopez davelopez deleted the fix_mypy_attempt branch May 17, 2023 14:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/database Galaxy's database or data access layer kind/bug
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants