Christian Weichel da0c5901b4
Refine workspace API (#19138)
* Refine workspace API

* Fix build

* update proto

* fix rebase

* fix rebase - 2

* 1

* fix editor

* Update doc

---------

Co-authored-by: Huiwen <mhqnwt@gmail.com>
2023-11-29 16:15:07 +02:00
..
2023-11-29 16:15:07 +02:00