Merge branch 'main' into faster_arm_linux

ci: Larger Linux ARM runners
2025-08-20 15:25:38 -04:00 · 2025-08-20 12:15:48 -04:00
3 changed files with 3 additions and 2 deletions
--- a/.github/actionlint.yml
+++ b/.github/actionlint.yml
@ -27,6 +27,7 @@ self-hosted-runner:
    # Namespace Limited Preview
    - namespace-profile-8x16-ubuntu-2004-arm-m4
    - namespace-profile-8x32-ubuntu-2004-arm-m4
+    - namespace-profile-12x32-ubuntu-2004-arm-m4
    # Self Hosted Runners
    - self-mini-macos
    - self-32vcpu-windows-2022
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@ -660,7 +660,7 @@ jobs:
    timeout-minutes: 60
    name: Linux arm64 release bundle
    runs-on:
-      - namespace-profile-8x32-ubuntu-2004-arm-m4 # ubuntu 20.04 for minimal glibc
+      - namespace-profile-12x32-ubuntu-2004-arm-m4 # ubuntu 20.04 for minimal glibc
    if: |
      startsWith(github.ref, 'refs/tags/v')
      || contains(github.event.pull_request.labels.*.name, 'run-bundling')
--- a/.github/workflows/release_nightly.yml
+++ b/.github/workflows/release_nightly.yml
@ -168,7 +168,7 @@ jobs:
    name: Create a Linux *.tar.gz bundle for ARM
    if: github.repository_owner == 'zed-industries'
    runs-on:
-      - namespace-profile-8x32-ubuntu-2004-arm-m4 # ubuntu 20.04 for minimal glibc
+      - namespace-profile-12x32-ubuntu-2004-arm-m4 # ubuntu 20.04 for minimal glibc
    needs: tests
    steps:
      - name: Checkout repo
Author	SHA1	Message	Date
Peter Tripp	044594da78	Merge branch 'main' into faster_arm_linux	2025-08-20 15:25:38 -04:00
Peter Tripp	1b8ca17dad	ci: Larger Linux ARM runners	2025-08-20 12:15:48 -04:00