Skip to content

Merge pull request #129 from buerokratt/wip #725

Merge pull request #129 from buerokratt/wip

Merge pull request #129 from buerokratt/wip #725

Triggered via push March 1, 2026 05:17
Status Success
Total duration 42s
Artifacts
Pyright Type Check
38s
Pyright Type Check
Fit to window
Zoom out
Zoom in