workaround for grub error raised after apt-get dist-upgrade

(cherry picked from commit 735582e64f176c9fbca3c3fc20c162f6c94ae8cd)

diff --git a/build-scripts/gh-actions-setup-inv b/build-scripts/gh-actions-setup-inv
index 3256b71bd0fe4bfb871ab790b63dda402c4ac6c2..05fb9d58bfb6cca56a9aeb51f3a48c4da14e104b 100755 (executable)
--- a/build-scripts/gh-actions-setup-inv
+++ b/build-scripts/gh-actions-setup-inv
@@ -6,6 +6,9 @@ EOF
 "
 sudo chmod 755 /usr/sbin/policy-rc.d
 sudo apt-get update
-sudo apt-get -qq -y --allow-downgrades dist-upgrade
+# FIXME: Avoid GRUB related errors due to runner image configuration by reinstalling 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 --no-install-recommends install python3-pip
 sudo pip3 install git+https://github.com/pyinvoke/invoke@faa5728a6f76199a3da1750ed952e7efee17c1da