Use apt-get instead of apt

amai2012 · web-flow · commit 5c7af1f9226c · 2020-04-07T20:23:54.000+02:00
diff --git 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
