Use self-hosted runner (#58)

Author: Saloed

.github/workflows/build-and-run-tests.yml

@@ -19,12 +19,10 @@ jobs:
   build:
     strategy:
       matrix:
-#        os: [ubuntu-latest, windows-latest]
-        os: [ubuntu-latest]
 #        java: [ '11', '17' ]
         java: [ '11' ]
 
-    runs-on: ${{ matrix.os }}
+    runs-on: [self-hosted, usvm] 
 
     # Steps represent a sequence of tasks that will be executed as part of the job
     steps:
@@ -51,5 +49,5 @@ jobs:
         uses: actions/upload-artifact@v3
         if: always()
         with:
-          name: usvm-tests-report-${{ matrix.os }}
+          name: usvm-tests-report-linux
           path: ./**/build/reports/tests/test/