Run infrastructure workflows on arm runners (#396)

Use more efficient runners to save resources. Every bit counts.
2026-07-02 18:17:52 +00:00 · 2025-05-01 20:22:40 +02:00
parent 41bd088443
commit ced7c1dde4
3 changed files with 3 additions and 3 deletions
@@ -6,7 +6,7 @@ on:

 jobs:
  build:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04-arm
    permissions:
      contents: write
      pull-requests: write