|
@@ -17,6 +17,7 @@ jobs:
|
|
# Azure repositories are not reliable, we need to prevent azure giving us packages.
|
|
# Azure repositories are not reliable, we need to prevent azure giving us packages.
|
|
- name: Make apt sources.list use the default Ubuntu repositories
|
|
- name: Make apt sources.list use the default Ubuntu repositories
|
|
run: |
|
|
run: |
|
|
|
|
+ sudo rm -f /etc/apt/sources.list.d/*
|
|
sudo cp -f misc/ci/sources.list /etc/apt/sources.list
|
|
sudo cp -f misc/ci/sources.list /etc/apt/sources.list
|
|
sudo apt-get update
|
|
sudo apt-get update
|
|
|
|
|
|
@@ -77,6 +78,7 @@ jobs:
|
|
# Azure repositories are not reliable, we need to prevent azure giving us packages.
|
|
# Azure repositories are not reliable, we need to prevent azure giving us packages.
|
|
- name: Make apt sources.list use the default Ubuntu repositories
|
|
- name: Make apt sources.list use the default Ubuntu repositories
|
|
run: |
|
|
run: |
|
|
|
|
+ sudo rm -f /etc/apt/sources.list.d/*
|
|
sudo cp -f misc/ci/sources.list /etc/apt/sources.list
|
|
sudo cp -f misc/ci/sources.list /etc/apt/sources.list
|
|
sudo apt-get update
|
|
sudo apt-get update
|
|
|
|
|