using ubuntu for actions

Certora · Jan 17, 2024 · 09d1446 · 09d1446
1 parent 8490594
commit 09d1446
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/certora-gho.yml b/.github/workflows/certora-gho.yml
@@ -12,8 +12,8 @@ on:
 
 jobs:
   verify:
-    runs-on:
-      group: larger
+    runs-on: ubuntu-latest
+    #   group: larger
 
     steps:
       - uses: actions/checkout@v2