ci: resource tuning for faster runs (#1967)

Signed-off-by: Alexei Dodon <adodon@cisco.com>
2026-06-15 20:07:55 +08:00 · 2023-11-15 20:44:31 +02:00
parent dd1c73cadd
commit 8dd06c6e1e
31 changed files with 576 additions and 412 deletions
@@ -25,7 +25,7 @@ permissions: read-all
 jobs:
  analyze:
    name: Analyze
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-latest-4-cores
    permissions:
      actions: read
      contents: read