build: restore cached directories after checkout action

LightAndLight · Jan 15, 2024 · 1bf9f7f · 1bf9f7f
1 parent 5e22877
commit 1bf9f7f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -34,6 +34,9 @@ jobs:
       with:
         # `./scripts/recheck` uses `git diff` which accesses the repo's history. `fetch-depth: 0` fetches all branches and history.
         fetch-depth: 0
+
+    - name: "Restore cached directories"
+      run: restore
 
     - name: "tests"
       if: github.event_name == 'pull_request'