From 6509596dd7c663ea2b72c5c92ae025a8d585c476 Mon Sep 17 00:00:00 2001
From: MarcoIeni <11428655+MarcoIeni@users.noreply.github.com>
Date: Tue, 28 Jan 2025 16:02:38 +0100
Subject: [PATCH] ci: remove unused windows runner
---
src/ci/github-actions/jobs.yml | 4 ----
1 file changed, 4 deletions(-)
diff --git a/src/ci/github-actions/jobs.yml b/src/ci/github-actions/jobs.yml
index 7730d29d28f68..d5c949a0eb7ab 100644
--- a/src/ci/github-actions/jobs.yml
+++ b/src/ci/github-actions/jobs.yml
@@ -43,10 +43,6 @@ runners:
os: windows-2022-8core-32gb
<<: *base-job
- - &job-windows-16c
- os: windows-2022-16core-64gb
- <<: *base-job
-
- &job-aarch64-linux
# Free some disk space to avoid running out of space during the build.
free_disk: true