build: fix windows runner

Author: clrxbl

.github/workflows/theseus-build.yml

@@ -53,16 +53,15 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        platform:
-          [
+        platform: [
             blacksmith-6vcpu-macos-26,
-            blacksmith-4vcpu-windows-2025,
+            blacksmith-8vcpu-windows-2025, # At time of writing, Windows 4 vCPU VMs don't seem to actually exist
             blacksmith-4vcpu-ubuntu-2404,
           ]
         include:
           - platform: blacksmith-6vcpu-macos-26
             artifact-target-name: universal-apple-darwin
-          - platform: blacksmith-4vcpu-windows-2025
+          - platform: blacksmith-8vcpu-windows-2025
             artifact-target-name: x86_64-pc-windows-msvc
           - platform: blacksmith-4vcpu-ubuntu-2404
             artifact-target-name: x86_64-unknown-linux-gnu