ci: Manually bump cache

GaloisInc · Aug 4, 2023 · 6186326 · 6186326
1 parent ace88a4
commit 6186326
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -8,6 +8,7 @@ on:
 env:
   # The NAME makes it easier to copy/paste snippets from other CI configs
   NAME: yapall
+  CACHE_VERSION: 1
 
 jobs:
   doc:
@@ -67,6 +68,8 @@ jobs:
         rustup update
         rustup component add clippy
     - uses: Swatinem/[email protected]
+      with:
+        prefix-key: ${{ env.CACHE_VERSION }}
     - name: Lint
       run: cargo clippy -- --deny warnings
 
@@ -78,6 +81,8 @@ jobs:
       with:
         version: "14.0"
     - uses: Swatinem/[email protected]
+      with:
+        prefix-key: ${{ env.CACHE_VERSION }}
     - run: env RUSTFLAGS="@$PWD/rustc-flags" cargo test --locked --no-run
     # TODO(#4)
     # - run: env RUSTFLAGS="@$PWD/rustc-flags" cargo test