From: whitequark <whitequark@whitequark.org>
Date: Fri, 8 Oct 2021 17:48:00 +0000 (+0000)
Subject: CI: preserve YoWASP cache as well.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e832d9dd98c1a5433aa19b021f7b549868a79f03;p=nmigen.git

CI: preserve YoWASP cache as well.
---

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index 148795f..6bd2866 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -26,11 +26,13 @@ jobs:
         sudo apt-get install yices2
         pip install coverage codecov yowasp-yosys
         pip install -e .[builtin-yosys]
-    - name: Preserve wasmtime cache
+    - name: Preserve Wasm cache
       uses: actions/cache@v1
       with:
-        path: ~/.cache/wasmtime
-        key: ${{ runner.os }}-wasmtime
+        path: |
+          ~/.cache/wasmtime
+          ~/.cache/yowasp
+        key: ${{ runner.os }}-wasm
     - name: Run tests
       run: |
         export NMIGEN_USE_YOSYS=builtin YOSYS=yowasp-yosys SBY=yowasp-sby SMTBMC=yowasp-yosys-smtbmc