Conversation
|
Web viewer built successfully.
View image diff on kitdiff. Note: This comment is updated whenever you push a commit. |
|
Latest documentation preview deployed successfully.
Note: This comment is updated whenever you push a commit. |
7cd433e to
ba00b4d
Compare
|
@rerun-bot sync |
|
@rerun-bot reality-sync |
|
Sync complete. Mirror PR in reality: https://github.com/rerun-io/reality/pull/374 Triggered by @ntjohnson1 |
|
The corresponding reality PR was merged: https://github.com/rerun-io/reality/pull/374 However, this PR could not be automatically merged because: verification error: gh command failed: gh pr merge 12497 --repo rerun-io/rerun --squash --admin --match-head-commit 17def19 --subject Another incremental python typing step (#12497) --body ### Related WhatFollow on note. What is visible? We don't seem to use it anywhere so might be a code gen artifact. For now I left the runtime test but ignore the typing error. Source-Ref: 81b475756dabc3aaeaceecc089166a4b0e1dc794 --delete-branch The changes have been synced via a direct commit instead: 80aac8a This PR can now be closed. |
Related
Turn on more TY rules. Upgrade mypy for consistency with newer TY.
Start filing/finding issues for the small edge cases TY doesn't support for us.
What
Follow on note. What is visible? We don't seem to use it anywhere so might be a code gen artifact. For now I left the runtime test but ignore the typing error.