Use larger CI runner

diskuv · Jun 23, 2024 · 06218fe · 06218fe
1 parent 3e930f2
commit 06218fe
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
@@ -13,8 +13,9 @@ jobs:
     #   **************************************************************
     #
     #   Error: The operation was canceled.
-    # runs-on: macos-latest
-    runs-on: ubuntu-22.04
+    # runs-on: macos-latest (still gets killed during odoc -link)
+    # runs-on: ubuntu-22.04
+    runs-on: Ubuntu22-8core-32GB
     permissions:
       # Needed for peaceiris/actions-gh-pages@v3
       contents: write