Test reporting on GitHub

.github/workflows/msbuild.yml

@@ -53,7 +53,6 @@ jobs:
 
   build:
     runs-on: ${{ matrix.os }}
-
     strategy:
       matrix:
         ## Windows jobs fail on some lit tests and sometimes fail even to
@@ -126,4 +125,9 @@ jobs:
         unzip dafny/Package/CI.zip -d unzippedRelease
     - name: Run integration tests
       run: |
-        XUNIT_SHARD=${{ matrix.shard }} XUNIT_SHARD_COUNT=5 DAFNY_RELEASE=$PWD/unzippedRelease/dafny dotnet test -v:n dafny/Source/IntegrationTests/IntegrationTests.csproj
+        XUNIT_SHARD=${{ matrix.shard }} XUNIT_SHARD_COUNT=5 DAFNY_RELEASE=$PWD/unzippedRelease/dafny dotnet test -v:n --logger trx dafny/Source/IntegrationTests/IntegrationTests.csproj
+    - uses: actions/upload-artifact@v2
+      if: always()
+      with:
+        name: integration-test-results-${{ matrix.os }}
+        path: dafny/Source/IntegrationTests/TestResults/*.trx

.github/workflows/test-report.yml

@@ -0,0 +1,29 @@
+name: 'Test Report'
+on:
+  workflow_run:
+    workflows: ['Run XUnit tests', 'Build and Test']
+    types:
+      - completed
+jobs:
+  report:
+    name: "Download and Publish Test Results"
+    needs: build
+    runs-on: ubuntu-latest
+    if: always()
+
+    steps:
+      - uses: actions/checkout@v2
+        with:
+          submodules: recursive
+
+      - name: Download Artifacts
+        uses: actions/download-artifact@v2
+        with:
+          path: artifacts
+
+      - name: Publish Test Results
+        uses: dorny/test-reporter@v1
+        with:
+          name: Test Results
+          path: 'artifacts/**/*.trx'
+          reporter: dotnet-trx

.github/workflows/xunit-tests.yml

@@ -56,8 +56,13 @@ jobs:
     - name: Build
       run: dotnet build --no-restore ${{env.solutionPath}}
     - name: Run DafnyLanguageServer Tests
-      run: dotnet test --no-restore --verbosity normal Source/DafnyLanguageServer.Test
+      run: dotnet test --no-restore --verbosity normal --logger trx Source/DafnyLanguageServer.Test
     - name: Run DafnyPipeline Tests
-      run: dotnet test --no-restore --verbosity normal Source/DafnyPipeline.Test
+      run: dotnet test --no-restore --verbosity normal --logger trx Source/DafnyPipeline.Test
     - name: Run DafnyTestGeneration Tests
-      run: dotnet test --no-restore --verbosity normal Source/DafnyTestGeneration.Test
+      run: dotnet test --no-restore --verbosity normal --logger trx Source/DafnyTestGeneration.Test
+    - uses: actions/upload-artifact@v2
+      if: always()
+      with:
+        name: unit-test-results-${{ matrix.os }}
+        path: Source/*/TestResults/*.trx