Fix missing isMeasurement (#168091)

This commit is contained in:
Logan Ramos 2022-12-05 11:56:33 -05:00 committed by GitHub
parent bf93e1d912
commit 7af646716e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -439,7 +439,7 @@ export class UserDataProfilesWorkbenchContribution extends Disposable implements
owner: 'sandy081';
comment: 'Report profile information of the current workspace';
workspaceId: { classification: 'SystemMetaData'; purpose: 'FeatureInsight'; comment: 'A UUID given to a workspace to identify it.' };
defaultProfile: { classification: 'SystemMetaData'; purpose: 'FeatureInsight'; comment: 'Whether the profile of the workspace is default or not.' };
defaultProfile: { classification: 'SystemMetaData'; purpose: 'FeatureInsight'; isMeasurement: true; comment: 'Whether the profile of the workspace is default or not.' };
};
type WorkspaceProfileInfoEvent = {
workspaceId: string | undefined;