ci: change machine type

.github/workflows/verible-ci.yml

diff --git a/.github/workflows/verible-ci.yml b/.github/workflows/verible-ci.yml
index a2b3a82..7fcd9f3 100644
--- a/.github/workflows/verible-ci.yml
+++ b/.github/workflows/verible-ci.yml
@@ -14,6 +14,7 @@
 env:
   BOT_USER: "Deployment Bot"
   BOT_EMAIL: "verible-dev@googlegroups.com"
+  GHA_MACHINE_TYPE: "n2-standard-8"
 
 jobs:
 
@@ -47,6 +48,9 @@
     container: ubuntu:20.04
     runs-on: [self-hosted, Linux, X64]
 
+    env:
+      GHA_MACHINE_TYPE: "n2-standard-4"
+
     steps:
 
     - name: Cancel previous
@@ -226,6 +230,7 @@
     env:
       MATRIX_OS: '${{ matrix.os }}:${{ matrix.ver }}'
       DOCKER_DATA_ROOT: "/root/.docker"
+      GHA_MACHINE_TYPE: "n2-highcpu-8"
     name: 'Build · ${{ matrix.os }}:${{ matrix.ver }}'
 
     steps: