Skip to content

Merge pull request #127 from buerokratt/wip #720

Merge pull request #127 from buerokratt/wip

Merge pull request #127 from buerokratt/wip #720

Triggered via push February 25, 2026 11:08
Status Success
Total duration 47s
Artifacts
Pyright Type Check
43s
Pyright Type Check
Fit to window
Zoom out
Zoom in