diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 143e723adf4..10c1ddf9a68 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -582,7 +582,8 @@ jobs:
     needs: changes
     if: needs.changes.outputs.code == 'true'
     runs-on: ubuntu-latest
-    timeout-minutes: 10
+    # core + engine take 8-10 min (2026-11-12); a 10 min limit cancelled runs as they finished.
+    timeout-minutes: 15
     steps:
       - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 # v4
         with: