Use apt-get instead of apt

2020-04-07 20:30:10 +02:00 · 2020-04-07 20:30:10 +02:00 · 10269a5286
parent 5c7af1f922
commit 10269a5286
1 changed files with 1 additions and 1 deletions
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@ -20,7 +20,7 @@ jobs:
      - name: Install missing software on ubuntu
        if: matrix.os == 'ubuntu-latest'
        run: |
-          sudo apt update
+          sudo apt-get update
          sudo apt-get install libxml2-utils
          sudo apt-get install z3 libz3-dev