Skip to content
Back to pull request #46

build(deps-dev): bump types-setuptools from 74.0.0.20240831 to 80.10.0.20260124 in /Tools #15

Sign in to view logs

build(deps-dev): bump types-setuptools from 74.0.0.20240831 to 80.10.0.20260124 in /Tools

build(deps-dev): bump types-setuptools from 74.0.0.20240831 to 80.10.0.20260124 in /Tools #15

Run mypy on Tools/wasm

Run mypy on Tools/wasm
succeeded Feb 1, 2026 in 18s