chore: add version to workspace profile

This commit is contained in:
Steven
2023-11-21 22:12:12 +08:00
parent 50d9873ec1
commit 0c2283a831
4 changed files with 129 additions and 114 deletions

View File

@ -28,14 +28,16 @@ service WorkspaceService {
message WorkspaceProfile {
// Current workspace mode: dev, prod.
string mode = 1;
// Current workspace version.
string version = 2;
// The workspace plan.
PlanType plan = 2;
PlanType plan = 3;
// Whether to enable other users to sign up.
bool enable_signup = 3;
bool enable_signup = 4;
// The custom style.
string custom_style = 4;
string custom_style = 5;
// The custom script.
string custom_script = 5;
string custom_script = 6;
}
message WorkspaceSetting {