From 33b1328f36ac7e9bbabfa5a8eb3a011a06be8a0f Mon Sep 17 00:00:00 2001
From: cedephrase <130931230+cedephrase@users.noreply.github.com>
Date: Mon, 21 Aug 2023 13:35:38 -0400
Subject: [PATCH] fix: use default GH runner for Certora

---
 .github/workflows/certora.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
index cc38fade..1eb6928b 100644
--- a/.github/workflows/certora.yml
+++ b/.github/workflows/certora.yml
@@ -12,8 +12,7 @@ on:
 
 jobs:
   verify:
-    runs-on:
-      group: larger
+    runs-on: ubuntu-latest
 
     steps:
       - uses: actions/checkout@v2