Use ubuntu machine for running Android tests in CI

.github/workflows/ci_checks.yml

@@ -13,7 +13,7 @@ concurrency:
 
 jobs:
   code-formatting:
-    runs-on: macos-latest
+    runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
 
@@ -60,11 +60,17 @@ jobs:
         run: ./gradlew cleanAllTests allTests
 
   android-tests:
-    runs-on: macos-latest
+    runs-on: ubuntu-latest
     timeout-minutes: 30
     steps:
       - uses: actions/checkout@v4
 
+      - name: Enable KVM group perms
+        run: |
+          echo 'KERNEL=="kvm", GROUP="kvm", MODE="0666", OPTIONS+="static_node=kvm"' | sudo tee /etc/udev/rules.d/99-kvm4all.rules
+          sudo udevadm control --reload-rules
+          sudo udevadm trigger --name-match=kvm
+
       - name: Setup JDK 20
         uses: actions/setup-java@v4
         with: