From 70c9a61de9dcef64a541413bedaa68560f82fa80 Mon Sep 17 00:00:00 2001
From: Wen Kokke <wenkokke@users.noreply.github.com>
Date: Wed, 1 Sep 2021 21:17:01 +0100
Subject: [PATCH] Changed cache id to match site builder name.

---
 .github/workflows/build.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 143aae67..78003838 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -82,14 +82,14 @@ jobs:
 
     - name: Cache Site Builder
       uses: actions/cache@v2
-      id: cache-builder
+      id: cache-site-builder
       with:
         path: |
           $GITHUB_WORKSPACE/.stack-work
         key: ${{ matrix.os }}-ghc-${{ matrix.ghc }}-agda-${{ matrix.agda }}
 
     - name: Build Site Builder
-      if: steps.cache-builder.outputs.cache-hit != 'true'
+      if: steps.cache-site-builder.outputs.cache-hit != 'true'
       run: make build-deps
       shell: bash