From 64749fb764b65c9dcfacea0cd2266a10b49b1445 Mon Sep 17 00:00:00 2001
From: Malte Poll <mp@edgeless.systems>
Date: Wed, 14 Dec 2022 16:30:37 +0100
Subject: [PATCH] ci: remove unused PPA

(cherry picked from commit 8e87a40708fab06c7d4002e7681e7bf9a6b86293)
---
 .github/actions/setup_mkosi/action.yaml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.github/actions/setup_mkosi/action.yaml b/.github/actions/setup_mkosi/action.yaml
index d7ab102e3..055289a6e 100644
--- a/.github/actions/setup_mkosi/action.yaml
+++ b/.github/actions/setup_mkosi/action.yaml
@@ -12,11 +12,9 @@ runs:
       run: |
         echo "::group::Dependencies"
         echo "deb-src http://archive.ubuntu.com/ubuntu/ $(lsb_release -cs) main restricted universe multiverse" | sudo tee -a /etc/apt/sources.list
-        sudo add-apt-repository ppa:michel-slm/kernel-utils
         sudo apt-get update
         sudo apt-get install --assume-yes --no-install-recommends \
           dnf \
-          makepkg \
           systemd-container \
           qemu-system-x86 \
           ovmf \