ci: run build on github large runners

cartesi · Dec 2, 2023 · 5d5a220 · 5d5a220
1 parent d250166
commit 5d5a220
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -5,7 +5,7 @@ env:
   TOOLCHAIN_TAG: 0.16.0
 jobs:
   tools:
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-latest-8-cores
     steps:
       - uses: actions/checkout@v3
         with: