Merge pull request vircadia#1757 from namark/gha-upgrade-grub-issue

Workaround for GHA Ubuntu 20.04 grub-efi-amd64-signed package issue.
ctrlaltdavid · Oct 9, 2023 · 4e1251a · 4e1251a
2 parents 7440175 + d6ee27d
commit 4e1251a
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/.github/workflows/master_build.yml b/.github/workflows/master_build.yml
@@ -134,6 +134,9 @@ jobs:
           echo "Installing Python Modules:"
           pip3 install distro || exit 1
 
+          # workaround https://github.com/orgs/community/discussions/47863
+          sudo apt-mark hold grub-efi-amd64-signed
+
           echo "Updating apt repository index"
           sudo apt update || exit 1
 

diff --git a/.github/workflows/pr_build.yml b/.github/workflows/pr_build.yml
@@ -157,6 +157,9 @@ jobs:
           echo "Installing Python Modules:"
           pip3 install distro || exit 1
 
+          # workaround https://github.com/orgs/community/discussions/47863
+          sudo apt-mark hold grub-efi-amd64-signed
+
           echo "Updating apt repository index"
           sudo apt update || exit 1