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:
 
@@ -406,7 +406,7 @@ jobs:
       - name: "Install mold"
         uses: rui314/setup-mold@725a8794d15fc7563f59595bd9556495c0564878 # v1
       - name: "Build"
-        run: cargo build --release --locked
+        run: cargo build --profile profiling --locked
 
   cargo-build-msrv:
     name: "cargo build (msrv)"