[ ci ] Build dependencies of the testing before caching

agda · Dec 4, 2024 · 1db7df3 · 1db7df3
1 parent a1a7d36
commit 1db7df3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 151 deletions.
diff --git a/.github/workflows/test-windows.yaml b/.github/workflows/test-windows.yaml
diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
@@ -92,6 +92,9 @@ jobs:
     - name: 🧰 Build ALS
       run: stack build
 
+    - name: 🧰 Build Testings
+      run: stack build --test --no-terminal --only-dependencies
+
     # things to be cached
 
     - name: 💾 Cache stack global package db