From 661a2426ff9edf15d69add366e6f742f01075abb Mon Sep 17 00:00:00 2001
From: Bjerg <onbjerg@users.noreply.github.com>
Date: Sat, 18 Mar 2023 08:36:34 +0100
Subject: [PATCH] ci: check that benchmarks compile (#1828)

---
 .github/workflows/bench.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/.github/workflows/bench.yml b/.github/workflows/bench.yml
index 723704ffba..1f7d54d15a 100644
--- a/.github/workflows/bench.yml
+++ b/.github/workflows/bench.yml
@@ -53,3 +53,15 @@ jobs:
         shell: 'script -q -e -c "bash {0}"' # required to workaround /dev/tty not being available
         run: |
           ./.github/scripts/compare_iai.sh
+
+  # Checks that benchmarks not run in CI compile
+  bench-check:
+    name: check
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: Install toolchain
+        uses: dtolnay/rust-toolchain@stable
+      - uses: Swatinem/rust-cache@v2
+      - name: Check if benchmarks build
+        run: cargo bench --all --all-features --all-targets --no-run