Skip to content

editor: Extract more git related stuff out of editor.rs (#56198) #531

editor: Extract more git related stuff out of editor.rs (#56198)

editor: Extract more git related stuff out of editor.rs (#56198) #531

Triggered via push May 8, 2026 16:33
Status Success
Total duration 10m 13s
Artifacts
Check formatting and Clippy lints
1m 44s
Check formatting and Clippy lints
Publish collab server image
3m 6s
Publish collab server image
Deploy new server image
23s
Deploy new server image
Fit to window
Zoom out
Zoom in