From 0ac3484e2950b88296cbbd2d3cd1ad666b9acb52 Mon Sep 17 00:00:00 2001 From: Manuel de Brito Fontes Date: Fri, 13 Nov 2026 16:40:50 -0300 Subject: [PATCH] lab: the host is an input, bench (nested KVM) or bench-metal (bare metal) Production runs workspaces both ways, and spin-stack/ci#14 adds the metal fleet; a run lands there only when it names it. Co-Authored-By: Claude Opus 5.5 --- .github/workflows/lab.yml | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/.github/workflows/lab.yml b/.github/workflows/lab.yml index 566d137..034215a 100644 --- a/.github/workflows/lab.yml +++ b/.github/workflows/lab.yml @@ -62,6 +62,14 @@ on: options: - beside - instead + host: + description: "Where it runs: bench (nested KVM, the default) or bench-metal (bare metal, the same CPU), spin-stack/ci's two bench fleets" + required: true + type: choice + default: bench + options: + - bench + - bench-metal vars: description: "KEY=VALUE; KEY=VALUE for the target, e.g. REPS=20; TOP=40" required: false @@ -81,7 +89,8 @@ env: jobs: lab: - runs-on: runs-on/fleet=bench/env=production + # A number compares only with one taken on the same kind of host, so the host is named. + runs-on: runs-on/fleet=${{ inputs.host }}/env=production timeout-minutes: 360 env: GH_TOKEN: ${{ github.token }}