Try to fix software installation on ubuntu

2020-02-24 12:17:34 +01:00 · 2020-02-24 12:17:34 +01:00 · 88c69418ee
parent 3afd764e95
commit 88c69418ee
1 changed files with 1 additions and 0 deletions
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@ -20,6 +20,7 @@ jobs:
      - name: Install missing software on ubuntu
        if: matrix.os == 'ubuntu-latest'
        run: |
+          sudo apt update
          sudo apt-get install libxml2-utils
          sudo apt-get install z3 libz3-dev