Skip to content

Add is_via_ssh field to editor events (#18837) #274

Add is_via_ssh field to editor events (#18837)

Add is_via_ssh field to editor events (#18837) #274

Triggered via push October 8, 2024 14:58
Status Success
Total duration 23m 53s
Artifacts
Check formatting and Clippy lints
52s
Check formatting and Clippy lints
Publish collab server image
11m 14s
Publish collab server image
Deploy new server image
22s
Deploy new server image
Fit to window
Zoom out
Zoom in