From 34f3c939e314e480a85eafc5f2d68d0e0d5f3708 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: |