Use larger runner for release build

MichaReiser · MichaReiser · commit 514ee9dac11f · 2025-10-15T12:04:27.000+02:00
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -1,10 +1,10 @@
 name: CI
 
-permissions: {}
+permissions: { }
 
 on:
   push:
-    branches: [main]
+    branches: [ main ]
   pull_request:
   workflow_dispatch:
 
@@ -393,7 +393,7 @@ jobs:
 
   cargo-build-release:
     name: "cargo build (release)"
-    runs-on: macos-latest
+    runs-on: depot-ubuntu-latest-8
     if: ${{ github.ref == 'refs/heads/main' }}
     timeout-minutes: 20
     steps:
