From 4d870df1623e69d6d8ee0c6f69b5e921a850437a Mon Sep 17 00:00:00 2001 From: Christian Heitman Date: Wed, 6 Dec 2023 09:57:37 -0300 Subject: [PATCH] Update workflow linux --- .github/workflows/linux.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml index df3deb70e..598106e04 100644 --- a/.github/workflows/linux.yml +++ b/.github/workflows/linux.yml @@ -37,6 +37,7 @@ jobs: run: | sudo apt-get install libz3-dev python -m pip install z3-solver + python -m pip install importlib-resources - name: Install Ninja run: |