diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index 2f19a5fb2c7d..0fe56706140f 100644
--- a/.github/workflows/kani.yml
+++ b/.github/workflows/kani.yml
@@ -303,6 +303,9 @@ jobs:
       - name: Build Kani (old variant)
         run: pushd old && cargo build-dev
 
+      - name: Copy benchmarks from new to old
+        run: rm -rf ./old/tests/perf ; cp -r ./new/tests/perf ./old/tests/
+
       - name: Run benchcomp
         run: |
           new/tools/benchcomp/bin/benchcomp \