see what disabling overflow checks does to perf

Author: RalfJung

.github/workflows/ci.yml

@@ -66,8 +66,10 @@ jobs:
             os: ubuntu-20.04-16core-64gb
             env: {}
           - name: x86_64-gnu-aux
+            env:
+              NO_OVERFLOW_CHECKS: "1"
+              NO_DEBUG_ASSERTIONS: "1"
             os: ubuntu-20.04-4core-16gb
-            env: {}
     defaults:
       run:
         shell: "${{ contains(matrix.os, 'windows') && 'msys2 {0}' || 'bash' }}"

src/ci/github-actions/ci.yml

@@ -366,6 +366,9 @@ jobs:
             <<: *job-linux-16c
 
           - name: x86_64-gnu-aux
+            env:
+              NO_OVERFLOW_CHECKS: "1"
+              NO_DEBUG_ASSERTIONS: "1"
             <<: *job-linux-4c
 
   auto: