Add an extensions API to the collaboration server (#7807) #29
deploy_collab.yml
on: push
Check formatting and Clippy lints
27s
Deploy new server image
11s