ci: split proof

Author: miguel-heygen

.github/workflows/split-proof.yml

@@ -0,0 +1,36 @@
+name: split-proof
+on: push
+jobs:
+  proof:
+    runs-on: windows-latest
+    strategy:
+      fail-fast: false
+      matrix: { n: [1, 2, 3, 4] }
+    steps:
+      - shell: pwsh
+        continue-on-error: true
+        run: Set-MpPreference -DisableRealtimeMonitoring $true
+      - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262
+        with: { lfs: true }
+      - uses: ./.github/actions/install-ffmpeg-windows
+      - shell: pwsh
+        run: |
+          $path = (Get-Command ffmpeg.exe).Source
+          "FFMPEG_BIN=$path" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
+      - uses: oven-sh/setup-bun@0c5077e51419868618aeaa5fe8019c62421857d6
+      - uses: actions/setup-node@49933ea5288caeca8642d1e84afbd3f7d6820020
+        with: { node-version: 22 }
+      - shell: pwsh
+        run: bun install --frozen-lockfile --linker=hoisted
+      - shell: pwsh
+        run: |
+          bun run --filter '@hyperframes/{parsers,lint,studio-server}' build
+          bun run --cwd packages/core build
+      - shell: pwsh
+        run: node --import tsx packages/cli/scripts/prepare-process-test-browser.mjs
+      - shell: pwsh
+        run: |
+          for ($i = 1; $i -le 3; $i++) {
+            "=== RUN $i"
+            bun run --filter @hyperframes/engine test -- --maxWorkers=2 --reporter=verbose 2>&1 | Select-String -Pattern "Hook timed out|FAIL|Test Files|Tests  |Duration" | ForEach-Object { $_.Line }
+          }