Use same perf tests for benchcomp in CI (rust-lang#2429)

Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
celinval · May 4, 2023 · 8e6267d · 8e6267d
1 parent d44819f
commit 8e6267d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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 \