Use larger runner for release build

Author: MichaReiser

.github/workflows/ci.yaml

@@ -1,10 +1,10 @@
 name: CI
 
-permissions: {}
+permissions: { }
 
 on:
   push:
-    branches: [main]
+    branches: [ main ]
   pull_request:
   workflow_dispatch:
 
@@ -393,8 +393,8 @@ jobs:
 
   cargo-build-release:
     name: "cargo build (release)"
-    runs-on: macos-latest
-    if: ${{ github.ref == 'refs/heads/main' }}
+    runs-on: depot-ubuntu-latest-16
+    if: ${{ contains(github.event.pull_request.labels.*.name, 'no-release') || github.ref == 'refs/heads/main' }}
     timeout-minutes: 20
     steps:
       - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0