Skip to content

Some random type added.#1909

Merged
mscuthbert merged 2 commits into
masterfrom
random-typing
Jun 11, 2026
Merged

Some random type added.#1909
mscuthbert merged 2 commits into
masterfrom
random-typing

Fix mypy: narrow bestName() with walrus in getStartEvents

965d93c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ruff
succeeded Jun 11, 2026 in 17s