tweak tests

Author: david-driscoll

test/Lsp.Tests/Integration/ProgressTests.cs

@@ -28,7 +28,7 @@ private class Data
             public string Value { get; set; } = "Value";
         }
 
-        [Fact]
+        [RetryFact]
         public async Task Should_Send_Progress_From_Server_To_Client()
         {
             var token = new ProgressToken(Guid.NewGuid().ToString());
@@ -78,7 +78,7 @@ await Observable.Create<Unit>(
             data.Should().ContainInOrder(new[] { "1", "3", "2", "4", "5" });
         }
 
-        [Fact]
+        [RetryFact]
         public async Task Should_Send_Progress_From_Client_To_Server()
         {
             var token = new ProgressToken(Guid.NewGuid().ToString());
@@ -131,14 +131,14 @@ await Observable.Create<Unit>(
             data.Should().ContainInOrder(new[] { "1", "3", "2", "4", "5" });
         }
 
-        [Fact]
+        [RetryFact]
         public void WorkDone_Should_Be_Supported()
         {
             Server.WorkDoneManager.IsSupported.Should().BeTrue();
             Client.WorkDoneManager.IsSupported.Should().BeTrue();
         }
 
-        [Fact]
+        [RetryFact]
         public async Task Should_Support_Creating_Work_Done_From_Sever_To_Client()
         {
             var token = new ProgressToken(Guid.NewGuid().ToString());
@@ -200,7 +200,7 @@ public async Task Should_Support_Creating_Work_Done_From_Sever_To_Client()
             results.Should().ContainInOrder("Begin", "Report 1", "Report 2", "Report 3", "Report 4", "End");
         }
 
-        [Fact]
+        [RetryFact]
         public async Task Should_Support_Observing_Work_Done_From_Client_To_Server_Request()
         {
             var token = new ProgressToken(Guid.NewGuid().ToString());
@@ -262,7 +262,7 @@ public async Task Should_Support_Observing_Work_Done_From_Client_To_Server_Reque
             results.Should().ContainInOrder("Begin", "Report 1", "Report 2", "Report 3", "Report 4", "End");
         }
 
-        [Fact]
+        [RetryFact]
         public async Task Should_Support_Cancelling_Work_Done_From_Client_To_Server_Request()
         {
             var token = new ProgressToken(Guid.NewGuid().ToString());