Telemetry: Record DB creation time

This commit is contained in:
Edoardo Pirovano
2022-08-24 11:59:11 +01:00
parent e7d4da3fa2
commit 8b45ef3845
8 changed files with 63 additions and 16 deletions
+5
View File
@@ -623,6 +623,11 @@ export interface StatusReportBase {
codeql_version?: string;
}
export interface DatabaseCreationTimings {
scanned_language_extraction_duration_ms?: number;
trap_import_duration_ms?: number;
}
export function getActionsStatus(
error?: unknown,
otherFailureCause?: string