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

solve more mypy issues with datastore #2010

Merged
merged 3 commits into from
Feb 13, 2024
Merged

solve more mypy issues with datastore #2010

merged 3 commits into from
Feb 13, 2024

Conversation

alexrudd2
Copy link
Collaborator

@alexrudd2 alexrudd2 commented Feb 13, 2024

This solves another 15 (counting with --check-untyped-defs)

@janiversen
Copy link
Collaborator

Now I see where you saw the problems....can you try to remove the ignore, and see if you get a problem with python 3.11 - 3.12...thanks in advance.

@janiversen
Copy link
Collaborator

I just checked your CI run, it looks a lot as if your dev is not updated (I changed CI a couple of days ago).

Copy link
Collaborator

@janiversen janiversen left a comment

Choose a reason for hiding this comment

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

The changes are OK. I like the idea of a TextCell.

@janiversen
Copy link
Collaborator

Just to be sure, I have cleaned out all cache, and CI are running on dev as I write this....if CI turns green, I think the problem is somewhere else...agree ?

@janiversen
Copy link
Collaborator

dev is green after a new CI run, so I think the problem with "ignore" is an not updated dev branch ?

@alexrudd2
Copy link
Collaborator Author

I think there was a cache problem. Some of the CI runners failed to even have Python installed

@alexrudd2 alexrudd2 merged commit c7c0802 into dev Feb 13, 2024
1 check passed
@alexrudd2 alexrudd2 deleted the datastore-types branch February 13, 2024 21:40
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Feb 24, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants