Update workflow codecov

cnheitman · Dec 6, 2023 · 02e2bbc · 02e2bbc
1 parent ec05d7a
commit 02e2bbc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/codecov.yml b/.github/workflows/codecov.yml
@@ -35,6 +35,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: |