Interface Info

components/gitpod-protocol/src/frontend-dashboard-service.ts:42–52

     * Info defined the information that `supervisor/frontend` requires.
     */
    export interface Info {
        workspaceID: string;
        loggedUserId: string;

        instanceId?: string;
        ideUrl?: string;
        statusPhase?: WorkspaceInstancePhase;

        workspaceDescription: string;
        workspaceType: string;
    }

    export interface SetStateData {
        ideFrontendFailureCause?: string;