From d7b19a32c058263de2e448c4b83702e7f3635b0f Mon Sep 17 00:00:00 2001 From: I-Al-Istannen Date: Fri, 19 Apr 2024 23:14:18 +0200 Subject: [PATCH] chore: Cache random stuff --- .github/workflows/enzyme-ci.yml | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/.github/workflows/enzyme-ci.yml b/.github/workflows/enzyme-ci.yml index a08267fcdb725..7fac17fc06330 100644 --- 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