Skip to content

Merge pull request #112 from buerokratt/wip #636

Merge pull request #112 from buerokratt/wip

Merge pull request #112 from buerokratt/wip #636

Triggered via push February 5, 2026 11:30
Status Failure
Total duration 42s
Artifacts
Pyright Type Check
39s
Pyright Type Check
Fit to window
Zoom out
Zoom in

Annotations

1 error
Pyright Type Check
Process completed with exit code 1.