C#: Allow only three dotnet --info retry attempts.

Author: michaelnebel

csharp/extractor/Semmle.Extraction.CSharp.DependencyFetching/DotNet.cs

@@ -3,6 +3,7 @@
 using System.Collections.ObjectModel;
 using System.IO;
 using System.Linq;
+using System.Threading;
 using Newtonsoft.Json.Linq;
 
 using Semmle.Util;
@@ -38,18 +39,23 @@ private DotNet(ILogger logger, string? dotNetPath, TemporaryDirectory tempWorkin
 
         private void Info()
         {
-            var exitCode = dotnetCliInvoker.RunCommandExitCode("--info", silent: false);
-            switch (exitCode)
+            // Allow up to three retry attempts to run `dotnet --info`, to mitigate transient issues
+            for (int attempt = 0; attempt < 4; attempt++)
             {
-                case 0:
-                    break;
-                case 143:
-                    logger.LogWarning("Running 'dotnet --info' failed with exit code 143.");
-                    break;
-                default:
-                    throw new Exception($"{dotnetCliInvoker.Exec} --info failed with exit code {exitCode}.");
+                var exitCode = dotnetCliInvoker.RunCommandExitCode("--info", silent: false);
+                switch (exitCode)
+                {
+                    case 0:
+                        return;
+                    case 143 when attempt < 3:
+                        logger.LogWarning($"Running 'dotnet --info' failed with exit code 143 on attempt {attempt}, retrying...");
+                        var sleep = Math.Pow(2, attempt) * 1000;
+                        Thread.Sleep((int)sleep);
+                        break;
+                    default:
+                        throw new Exception($"{dotnetCliInvoker.Exec} --info failed with exit code {exitCode}.");
+                }
             }
-
         }
 
         private string GetRestoreArgs(RestoreSettings restoreSettings)