From fc1b6e70e39f28c911d8f7358e67d7e10039a0a5 Mon Sep 17 00:00:00 2001
From: Michael Zhang <mail@mzhang.io>
Date: Fri, 6 Sep 2024 19:34:34 +0200
Subject: [PATCH] cabal dir

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 5f53135..25f6c7f 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -12,6 +12,11 @@ jobs:
     #     agda-version: [2.6.2, 2.7.0]
 
     steps:
+      - name: Cache Primes
+        uses: actions/cache@v4
+        with:
+          path: ~/.cabal
+          key: cabal-dir
       - uses: haskell-actions/setup@v2
         with:
           ghc-version: 9.8.2