Skip to content

Merge pull request #80 from buerokratt/wip #418

Merge pull request #80 from buerokratt/wip

Merge pull request #80 from buerokratt/wip #418

Triggered via push November 25, 2025 11:32
Status Failure
Total duration 45s
Artifacts
Pyright Type Check
41s
Pyright Type Check
Fit to window
Zoom out
Zoom in

Annotations

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