diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 4889ab134..6e1fab93f 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -14,7 +14,7 @@ jobs: - name: Install missing software on ubuntu run: | - sudo apt update + sudo apt-get update sudo apt-get install libxml2-utils sudo apt-get install z3 libz3-dev sudo apt-get install lcov