fixing ci group larger fail

Certora · Nov 12, 2023 · d1e48b6 · d1e48b6
1 parent 912faa0
commit d1e48b6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -13,7 +13,7 @@ on:
 jobs:
   verify:
     runs-on:
-      group: larger
+      group: ubuntu-latest
 
     steps:
       - uses: actions/checkout@v2