From f807455997542386308e817f1fd1359940ff48af Mon Sep 17 00:00:00 2001
From: Lars Eggert <lars@eggert.org>
Date: Fri, 9 Feb 2024 16:31:31 +0200
Subject: [PATCH] Debug build error

---
 .github/workflows/bench.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/bench.yml b/.github/workflows/bench.yml
index 40f6f45885..5e03738967 100644
--- a/.github/workflows/bench.yml
+++ b/.github/workflows/bench.yml
@@ -11,6 +11,7 @@ on:
 #     workflows: [CI]
 #     types: [completed]
 env:
+  CARGO_PROFILE_BENCH_BUILD_OVERRIDE_DEBUG: true
   CARGO_TERM_COLOR: always
   RUST_BACKTRACE: 1
   TOOLCHAIN: nightly
@@ -29,6 +30,7 @@ jobs:
         uses: dtolnay/rust-toolchain@master
         with:
           toolchain: $TOOLCHAIN
+          components: rustfmt
 
       - name: Use sccache
         uses: mozilla-actions/sccache-action@v0.0.4
@@ -47,8 +49,9 @@ jobs:
           echo "$HOME/.cargo/bin"
           echo "$HOME/.cargo/bin" >> $GITHUB_PATH
 
-      - name: Checkout
+      - name: Checkout and build
         uses: actions/checkout@v4
+      - run: cargo +$TOOLCHAIN bench --features ci,bench --no-run
 
       # Disable turboboost, hyperthreading and use performance governor
       - name: Prepare machine
@@ -60,7 +63,6 @@ jobs:
       # Pin the benchmark to core 0 and run it at elevated priority.
       - name: Benchmark
         run: |
-          cargo +$TOOLCHAIN bench --features ci,bench --no-run
           sudo nice -n -20 sudo -u "$USER" taskset -c 0 \
             cargo +$TOOLCHAIN bench --features ci,bench | tee output.txt