get rid of firefox

diff --git a/build-scripts/gh-actions-setup-inv b/build-scripts/gh-actions-setup-inv
index 0cd64feb5b7f4b1557f9795c3f682c981151e5ec..50d11f607c77a4d46baf6033ebc56c26e707379d 100755 (executable)
--- a/build-scripts/gh-actions-setup-inv
+++ b/build-scripts/gh-actions-setup-inv
@@ -8,6 +8,7 @@ sudo chmod 755 /usr/sbin/policy-rc.d
 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 dpkg --purge --force-all firefox
 sudo apt-get autoremove
 sudo apt-get -qq -y --allow-downgrades dist-upgrade
 sudo apt-get -qq -y --no-install-recommends install python3-pip