From 7ff5096860db82fb9fdd4fb1ec1159a61c2e1430 Mon Sep 17 00:00:00 2001
From: Aditya Zutshi <aditya.zutshi@galois.com>
Date: Tue, 31 Dec 2024 13:49:49 -0800
Subject: [PATCH] added cahcing

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

diff --git a/.github/workflows/ci-bench.yml b/.github/workflows/ci-bench.yml
index 5724c3d39..61886b000 100644
--- a/.github/workflows/ci-bench.yml
+++ b/.github/workflows/ci-bench.yml
@@ -28,7 +28,17 @@ jobs:
     steps:
     - uses: actions/checkout@v4
     - uses: actions-rust-lang/setup-rust-toolchain@v1
-  
+    # From: https://github.com/actions/cache/blob/main/examples.md#rust---cargo
+    - uses: actions/cache@v4
+      with:
+        path: |
+          ~/.cargo/bin/
+          ~/.cargo/registry/index/
+          ~/.cargo/registry/cache/
+          ~/.cargo/git/db/
+          target/
+        key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
+
     - name: Run benchmark
       run: |
         cd examples