Avoid Microsoft repo for ODBC. Step 1: allow apt downgrades

diff --git a/build-scripts/gh-actions-setup-inv b/build-scripts/gh-actions-setup-inv
index b042062fedc449598649e780b3e45042e88c8671..53239df53b7ef1e9626b2c02985d525dac6de396 100755 (executable)
--- a/build-scripts/gh-actions-setup-inv
+++ b/build-scripts/gh-actions-setup-inv
@@ -9,6 +9,6 @@ sudo apt-get update
 # FIXME: Avoid GRUB related errors due to runner image configuration by removing it.
 sudo dpkg --purge --force-all grub-efi-amd64-signed && sudo dpkg --purge --force-all shim-signed
 sudo apt-get autoremove
-sudo apt-get -qq -y dist-upgrade
+sudo apt-get -qq -y --allow-downgrades dist-upgrade
 sudo apt-get -qq -y --no-install-recommends install python3-pip
 sudo pip3 install git+https://github.com/pyinvoke/invoke@faa5728a6f76199a3da1750ed952e7efee17c1da

diff --git a/tasks.py b/tasks.py
index fcf70392359b54f6d7ec92dc88da85defc73c36a..0e760284be7071b9a3d2e10ccbc07e311d27a013 100644 (file)
--- a/tasks.py
+++ b/tasks.py
@@ -146,7 +146,7 @@ doc_deps_pdf = [
 def apt_fresh(c):
     c.sudo('sed -i \'s/azure\.//\' /etc/apt/sources.list')
     c.sudo('apt-get update')
-    c.sudo('apt-get dist-upgrade')
+    c.sudo('apt-get -qq -y --allow-downgrades dist-upgrade')
 
 @task
 def install_clang(c):