GeezerVisonThe World Wide Web, restored to 800 pixels of glory. | |||||||||||||||||||
| Home|About|Gaming cabinet|Archives|How it works|Starter sites | |||||||||||||||||||
GeezerVison is showing github.com — gh-133117: Run mypy on `tomllib` in CI by sobolevn · Pull Request #133118 · python/cpython Conversation
|
|
|
||
| def __init__(self) -> None: | ||
| self._flags: dict[str, dict] = {} | ||
| self._flags: dict[str, dict[Any, Any]] = {} |
There was a problem hiding this comment.
The reason will be displayed to describe this comment to others. Learn more.
It is fully typed already, we just need to run the CI if something changes.
Seems it wasn't fully typed already?
Please can you also submit these changes to https://github.com/hukkin/tomli ?
Sorry, something went wrong.
There was an error while loading. Please reload this page.
There was a problem hiding this comment.
The reason will be displayed to describe this comment to others. Learn more.
Should I do it before or after this PR?
Sorry, something went wrong.
There was an error while loading. Please reload this page.
There was a problem hiding this comment.
The reason will be displayed to describe this comment to others. Learn more.
I'd suggest there first, because we're sort of downstream, but no strong preference from me.
Let's ask @hukkin, @encukou and @hauntsaninja.
Sorry, something went wrong.
There was an error while loading. Please reload this page.
There was a problem hiding this comment.
The reason will be displayed to describe this comment to others. Learn more.
Done: hukkin/tomli#257
Sorry, something went wrong.
There was an error while loading. Please reload this page.
There was an error while loading. Please reload this page.
|
merging main so CLA can possibly get unstuck :( |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
|
I will keep this open for a day or so, waiting for others' feedback :) |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
|
Thanks @sobolevn for the PR 🌮🎉.. I'm working now to backport this PR to: 3.13. |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
(cherry picked from commit 5ea9010) Co-authored-by: sobolevn <[email protected]>
|
GH-133192 is a backport of this pull request to the 3.13 branch. |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
|
Now I will work on enabling |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
This PR seems to have caused a new file to be installed by |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
|
@eli-schwartz let's discuss this separatelly :) |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
There was an error while loading. Please reload this page.
Successfully merging this pull request may close these issues.
There was an error while loading. Please reload this page.