Skip to content

Add an extensions API to the collaboration server (#7807) #29

Add an extensions API to the collaboration server (#7807)

Add an extensions API to the collaboration server (#7807) #29

Triggered via push February 15, 2024 20:57
Status Success
Total duration 6m 38s
Artifacts
Check formatting and Clippy lints
27s
Check formatting and Clippy lints
Publish collab server image
3m 26s
Publish collab server image
Deploy new server image
11s
Deploy new server image
Fit to window
Zoom out
Zoom in