From 3b799481f700c89976bd8850aa84302c74e83336 Mon Sep 17 00:00:00 2001 From: Catherine Date: Sat, 24 Sep 2022 06:42:14 +0000 Subject: [PATCH] CI: fix build on Python 3.17. --- .github/workflows/main.yaml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml index 26832e5..9c8f988 100644 --- a/.github/workflows/main.yaml +++ b/.github/workflows/main.yaml @@ -24,7 +24,8 @@ jobs: sudo add-apt-repository 'deb http://ppa.launchpad.net/sri-csl/formal-methods/ubuntu bionic main' sudo apt-get update sudo apt-get install yices2 - pip install coverage codecov yowasp-yosys + pip install coverage codecov + pip install 'yowasp-yosys==0.20.dev398' # latest version that works on Python 3.7 pip install -e .[builtin-yosys] - name: Preserve Wasm cache uses: actions/cache@v1