chore: Cache random stuff

EnzymeAD · Apr 19, 2024 · d7b19a3 · d7b19a3
1 parent 15bfd28
commit d7b19a3
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/.github/workflows/enzyme-ci.yml b/.github/workflows/enzyme-ci.yml
@@ -45,6 +45,17 @@ jobs:
         with:
           path: build/build/x86_64-unknown-linux-gnu/enzyme
           key: ${{ matrix.os }}-enzyme-${{ steps.enzyme-commit.outputs.HEAD }}
+      - name: Cache random garbage
+        uses: actions/cache@v4
+        with:
+          path: |
+            build/build/x86_64-unknown-linux-gnu/stage0-rustc/
+            build/build/x86_64-unknown-linux-gnu/stage0-std/x86_64-unknown-linux-gnu/
+            build/build/x86_64-unknown-linux-gnu/stage0-tools/
+            build/build/x86_64-unknown-linux-gnu/stage1-std/x86_64-unknown-linux-gnu/
+          key: random-cache-${{ runner.os }}-${{ github.run_id }}
+          restore-keys: |
+            random-cache-${{ runner.os }}
       - name: Build
         run: |
           mkdir -p build