diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 07af760d79..83f7e9c9fd 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -30,6 +30,13 @@ jobs: # DEPENDENCIES # ============ + # 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 + - name: Dependencies [Windows] if: matrix.os == 'windows-latest' run: |