mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
25 lines
698 B
TypeScript
25 lines
698 B
TypeScript
/**
|
|
* Copyright (c) 2023 Gitpod GmbH. All rights reserved.
|
|
* Licensed under the GNU Affero General Public License (AGPL).
|
|
* See License.AGPL.txt in the project root for license information.
|
|
*/
|
|
|
|
// generated using github.com/32leaves/bel on 2023-08-17 09:50:49.633992319 +0000 UTC m=+0.007372079
|
|
// DO NOT MODIFY
|
|
|
|
export enum WorkspaceInitSource {
|
|
WorkspaceInitFromBackup = "from-backup",
|
|
WorkspaceInitFromPrebuild = "from-prebuild",
|
|
WorkspaceInitFromOther = "from-other",
|
|
}
|
|
export interface WorkspaceReadyMessage {
|
|
source: WorkspaceInitSource;
|
|
metrics: InitializerMetric[];
|
|
}
|
|
|
|
export interface InitializerMetric {
|
|
type: string;
|
|
duration: number;
|
|
size: number;
|
|
}
|