Skip to content

Dashboard checker notes - #166

Open
lolpack wants to merge 2 commits into
mainfrom
dashboard-checker-notes
Open

lolpack wants to merge 2 commits into
mainfrom
dashboard-checker-notes

Conversation

@lolpack

@lolpack lolpack commented Nov 5, 2026

Copy link
Copy Markdown
Owner

Addresses #162 by creating a tool to help explain caveat/explain where checking behavior will impact performance with an asterisk.

Some packages make checkers do different amounts of work, which the raw
times don't show. Notes live in typecheck_benchmark/package_notes.json and
appear as an info button after the package name in the Every Package table,
with markers on the affected checkers' cells. All open one native popover.
A missing or malformed notes file leaves the table as it was.

First note: pydantic-core's CoreSchema is a large TypedDict union only when
MYPY is false, so Mypy and Zuban check Mapping[str, Any] instead.

The daily benchmark job and deploy.yml now publish the notes file.
Hovering or focusing an info button shows its note beside it; moving onto
the note keeps it open so its source link can be clicked. A tap shows it on
touch screens. Esc, clicking elsewhere or scrolling hides it.

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant