From de889c8810555583c04615b20fe27bd3e7a404a4 Mon Sep 17 00:00:00 2001
From: Sam Gammon <sam@elide.ventures>
Date: Sun, 30 Jul 2023 21:02:09 -0700
Subject: [PATCH] fix: duplicate ci build for linux

---
 .github/workflows/push.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 619f656..d7f1650 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -55,7 +55,7 @@ jobs:
             gvm: ${{ vars.GVM_VERSION }}
             java: ${{ vars.JVM_VERSION }}
             provenance: false
-          - runner: ubuntu-latest-4-cores
+          - runner: ubuntu-latest
             flags: "--no-configuration-cache -PsonarScan=true"
             os: "linux"
             label: "Linux"