Skip to content

Merge pull request #113 from buerokratt/wip #643

Merge pull request #113 from buerokratt/wip

Merge pull request #113 from buerokratt/wip #643

Triggered via push February 10, 2026 06:56
Status Success
Total duration 37s
Artifacts
Pyright Type Check
33s
Pyright Type Check
Fit to window
Zoom out
Zoom in