Merge pull request #182 from mxprshn/generated-tests-ci-fix

[fix] Run generated tests in GitHub Actions pipeline
VSharp-team · Nov 28, 2022 · 0f15a8d · 0f15a8d
2 parents e012202 + 6211a19
commit 0f15a8d
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 1 deletion.
diff --git a/.github/workflows/integration_tests.yml b/.github/workflows/integration_tests.yml
@@ -25,9 +25,16 @@ jobs:
       run: |
         dotnet tool restore
         dotnet test -c Release --logger "trx;LogFileName=tests-results.trx"
+        dotnet test -c Release --filter TestCategory=Generated --logger "trx;LogFileName=generated-tests-results.trx"
     - name: Upload tests results to GitHub artifacts
       uses: actions/upload-artifact@v3
       if: success() || failure()
       with:
         name: tests-results
         path: VSharp.Test/TestResults/tests-results.trx
+    - name: Upload generated tests results to GitHub artifacts
+      uses: actions/upload-artifact@v3
+      if: success() || failure()
+      with:
+        name: generated-tests-results
+        path: VSharp.Test/TestResults/generated-tests-results.trx
diff --git a/.github/workflows/push_test_results.yml b/.github/workflows/push_test_results.yml
@@ -16,4 +16,11 @@ jobs:
         name: Integration tests
         artifact: tests-results
         reporter: dotnet-trx
-        path: '*.trx' 
+        path: '*.trx'
+    - name: Report generated tests results
+      uses: dorny/test-reporter@v1
+      with:
+        name: Generated tests
+        artifact: generated-tests-results
+        reporter: dotnet-trx
+        path: '*.trx'