Use apt-get instead of apt

2020-04-07 20:23:54 +02:00 · 2020-04-07 20:23:54 +02:00 · 5c7af1f922
parent 9267182d8c
commit 5c7af1f922
1 changed files with 1 additions and 1 deletions
--- 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