Skip to content

Merge pull request #115 from buerokratt/wip #650

Merge pull request #115 from buerokratt/wip

Merge pull request #115 from buerokratt/wip #650

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