From 51bcf82d4dac1b7088253a09bf94f318bbb7dee2 Mon Sep 17 00:00:00 2001
From: Malte Poll <mp@edgeless.systems>
Date: Wed, 4 Oct 2023 09:47:07 +0200
Subject: [PATCH] ci: use larger runners for os image pipeline

---
 .github/workflows/build-os-image.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/build-os-image.yml b/.github/workflows/build-os-image.yml
index bd3bb63773..2ebff3ce3b 100644
--- a/.github/workflows/build-os-image.yml
+++ b/.github/workflows/build-os-image.yml
@@ -132,9 +132,7 @@ jobs:
   make-os-image:
     name: "Build OS using mkosi"
     needs: [build-settings]
-    runs-on: ubuntu-22.04
-    # TODO(malt3): flatten outputs once possible
-    # https://github.com/community/community/discussions/17245
+    runs-on: ubuntu-22.04-8core
     strategy:
       fail-fast: false
       matrix: