Use different caching for MIRI runs (#892)

* Use different caching for MIRI runs * Also cache cargo
apache · Oct 31, 2021 · 2310936 · 2310936
1 parent 898924f
commit 2310936
Showing 1 changed file with 10 additions and 6 deletions.
diff --git a/.github/workflows/miri.yaml b/.github/workflows/miri.yaml
@@ -34,13 +34,17 @@ jobs:
       - uses: actions/checkout@v2
         with:
           submodules: true
-      - uses: actions/cache@v2
+      - name: Cache Cargo
+        uses: actions/cache@v2
         with:
-          path: |
-            ~/.cargo/registry
-            ~/.cargo/git
-            target
-          key: ${{ runner.os }}-cargo-miri-${{ hashFiles('**/Cargo.lock') }}
+          path: /github/home/.cargo
+          # this key equals the ones on `linux-build-lib` for re-use
+          key: cargo-cache2-
+      - name: Cache Rust dependencies
+        uses: actions/cache@v2
+        with:
+          path: /github/home/target
+          key: ${{ runner.os }}-${{ matrix.arch }}-miri-cache-${{ matrix.rust }}
       - name: Setup Rust toolchain
         run: |
           rustup toolchain install ${{ matrix.rust }}