Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: amaranth-lang/amaranth
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: e91a5ad93435
Choose a base ref
...
head repository: amaranth-lang/amaranth
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 0b28a97ca00b
Choose a head ref
  • 1 commit
  • 1 file changed
  • 1 contributor

Commits on Nov 5, 2021

  1. CI: preserve YoWASP cache as well.

    @whitequark
    whitequark committed Nov 5, 2021
    Copy the full SHA
    0b28a97 View commit details
Showing with 5 additions and 3 deletions.
  1. +5 −3 .github/workflows/main.yaml
8 changes: 5 additions & 3 deletions .github/workflows/main.yaml
View file
Original file line number Diff line number Diff line change
@@ -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