Stack cache, nproc

runtimeverification · Jul 22, 2024 · 213163b · 213163b
1 parent f42a670
commit 213163b
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -105,6 +105,7 @@ jobs:
               bison       \
               boost       \
               cmake       \
+              coreutils   \
               flex        \
               fmt         \
               gcc         \
@@ -123,6 +124,12 @@ jobs:
               zlib        \
               z3
 
+      - name: 'Haskell Stack cache'
+        uses: actions/cache@v4
+        with:
+          path: ~/.stack
+          key: stack-${{ runner.os }}-${{ runner.arch }}-${{ hashFiles('haskell-backend/src/main/native/haskell-backend/stack.yaml') }}
+
       - name: 'Build and Test K'
         run: |
           PATH="$(brew --prefix bison)/bin:$PATH"