experiment

Author: RalfJung

.github/workflows/ci.yml

@@ -65,6 +65,9 @@ jobs:
           - name: x86_64-gnu-tools
             os: ubuntu-20.04-16core-64gb
             env: {}
+          - name: x86_64-gnu-aux
+            os: ubuntu-20.04-4core-16gb
+            env: {}
     defaults:
       run:
         shell: "${{ contains(matrix.os, 'windows') && 'msys2 {0}' || 'bash' }}"

src/ci/docker/host-x86_64/x86_64-gnu-aux/Dockerfile

@@ -26,7 +26,7 @@ COPY scripts/sccache.sh /scripts/
 RUN sh /scripts/sccache.sh
 
 # Miri is just too slow with full assertions
-ENV NO_DEBUG_ASSERTIONS=1
+#ENV NO_DEBUG_ASSERTIONS=1
 ENV NO_OVERFLOW_CHECKS=1
 
 ENV RUST_CONFIGURE_ARGS --build=x86_64-unknown-linux-gnu

src/ci/github-actions/ci.yml

@@ -366,6 +366,9 @@ jobs:
           - name: x86_64-gnu-tools
             <<: *job-linux-16c
 
+          - name: x86_64-gnu-aux
+            <<: *job-linux-4c
+
   auto:
     <<: *base-ci-job
     name: auto - ${{ matrix.name }}