ci: remove microsoft-prod.list

This is added by default, and it is often broken, but we don't need
anything from it.

Closes #13473
This commit is contained in:
Philip H. 2024-04-25 09:46:41 +00:00 committed by Daniel Stenberg
parent 382717d7f1
commit 303bb8785c
No known key found for this signature in database
GPG key ID: 5CC908FDB71E12C2
10 changed files with 14 additions and 2 deletions

View file

@ -31,6 +31,7 @@ jobs:
- name: install
run: |
sudo rm -f /etc/apt/sources.list.d/microsoft-prod.list
sudo apt-get update
sudo apt-get install codespell