diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 34e8e7ed4..4922b21dd 100644
--- 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