Fix GitHub Actions CI

Microsoft apt repos break apt-get update for several days at every update, and there is no plan to fix these.
As we are not using the repos, the best course of action is just to remove them.

See:
* actions/runner-images#323
* dotnet/core#4167

Author: Nicogene

.github/workflows/ci.yml

@@ -36,7 +36,14 @@ jobs:
     - name: Display environment variables
       shell: bash
       run: env
-        
+
+    # Remove apt repos that are known to break from time to time
+    # See https://github.com/actions/virtual-environments/issues/323
+    - name: Remove broken apt repos [Ubuntu]
+      if: matrix.os == 'ubuntu-latest'
+      run: |
+        for apt_file in `grep -lr microsoft /etc/apt/sources.list.d/`; do sudo rm $apt_file; done
+
     # ============
     # DEPENDENCIES
     # ============
@@ -173,4 +180,3 @@ jobs:
       run: |
         cd build
         cmake --build . --config ${{ matrix.build_type }} --target install
-