Replace mirror with standard Ubuntu mirror

Author: guitargeek

.github/workflows/continuous-integration-workflow.yml

@@ -84,6 +84,12 @@ jobs:
           AWS_SECRET_ACCESS_KEY: ${{ secrets.AWS_SECRET_ACCESS_KEY }}
           AWS_REGION: "eu-west-1"
 
+      - name: Replace mirror with standard Ubuntu mirror
+        run: |
+          sudo rm -f /etc/apt/apt-mirrors.txt
+          sudo apt-get clean
+          sudo apt-get update
+
       - name: Install Kerberos utilities
         run: sudo apt-get install -y krb5-user