Skip to content

Merge pull request #195 from gdraheim/develop #135

Merge pull request #195 from gdraheim/develop

Merge pull request #195 from gdraheim/develop #135

Triggered via push February 10, 2026 19:18
Status Success
Total duration 28s
Artifacts

typecheck.yml

on: push
mypy typehints check
23s
mypy typehints check
Fit to window
Zoom out
Zoom in