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: |