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

diff --git a/build-scripts/gh-actions-setup-inv b/build-scripts/gh-actions-setup-inv
index 2a5f441351376ff0250859155902df2cf78af655..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
+# 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