From e832d9dd98c1a5433aa19b021f7b549868a79f03 Mon Sep 17 00:00:00 2001 From: whitequark Date: Fri, 8 Oct 2021 17:48:00 +0000 Subject: [PATCH] CI: preserve YoWASP cache as well. --- .github/workflows/main.yaml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) 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 -- 2.30.2