skip cache?

viperproject · Aug 31, 2023 · e2d2b5f · e2d2b5f
1 parent e49dd1a
commit e2d2b5f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -145,7 +145,7 @@ jobs:
           # Use a unique key, so that the job will always store the cache at the end of the run
           key: ${{ env.VER_CACHE_KEY_UNIQUE }}
           # Restore from the most recent cache that matches a shared prefix of the key
-          restore-keys: ${{ env.VER_CACHE_KEY_SHARED }}
+          restore-keys: skip-${{ env.VER_CACHE_KEY_SHARED }}
       - name: Build with cargo
         run: python x.py build --all
       - name: Run quick tests

diff --git a/prusti/src/callbacks.rs b/prusti/src/callbacks.rs
@@ -156,7 +156,9 @@ impl prusti_rustc_interface::driver::Callbacks for PrustiCompilerCalls {
                     println!("{value}");
                 }
             }
+
             CrossCrateSpecs::import_export_cross_crate(&mut env, &mut def_spec);
+
             if !config::no_verify() {
                 verify(env, def_spec);
             }