fix: use default GH runner for Certora

aave · Aug 21, 2023 · 33b1328 · 33b1328
1 parent 8562090
commit 33b1328
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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