Skip to content

editor: Fix sticky headers not accounting for deleted diff hunks (#49… #513

editor: Fix sticky headers not accounting for deleted diff hunks (#49…

editor: Fix sticky headers not accounting for deleted diff hunks (#49… #513

Triggered via push February 16, 2026 21:32
Status Cancelled
Total duration 18m 21s
Artifacts
Check formatting and Clippy lints
0s
Check formatting and Clippy lints
Run tests
0s
Run tests
Publish collab server image
0s
Publish collab server image
Deploy new server image
Deploy new server image
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Check formatting and Clippy lints
The run was canceled by @maxdeviant.
Publish Collab Server Image
The run was canceled by @maxdeviant.