Skip to content

Merge pull request #116 from buerokratt/wip #717

Merge pull request #116 from buerokratt/wip

Merge pull request #116 from buerokratt/wip #717

Triggered via push February 25, 2026 07:30
Status Success
Total duration 41s
Artifacts
Pyright Type Check
38s
Pyright Type Check
Fit to window
Zoom out
Zoom in