Merge pull request #20768 from michaelnebel/csharp/extractionlogging

C#: Report more timing metrics to the console logger.
This commit is contained in:
Michael Nebel
2025-11-17 10:06:05 +01:00
committed by GitHub

View File

@@ -170,7 +170,8 @@ namespace Semmle.Extraction.CSharp.Standalone
fileLogger.LogError($" Unhandled exception: {ex}");
}
logger.Log(Severity.Info, $"Extraction completed in {overallStopwatch.Elapsed}");
logger.Log(Severity.Info, $"Extraction completed in {analyzerStopwatch.Elapsed}");
logger.Log(Severity.Info, $"Total time: {overallStopwatch.Elapsed}");
return ExitCode.Ok;
}