diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index 0b3b2ba..425c3e3 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -31,6 +31,11 @@ on: default: "ubuntu-latest" required: false type: string + runner: + description: "JSON-encoded runs-on value (string or array of labels, e.g. '[\"self-hosted\",\"Linux\",\"X64\",\"gpu\"]'). When non-empty it overrides self-hosted/os — use it to build docs on a GPU queue." + default: "" + required: false + type: string cache: description: "Use the julia-actions/cache action for caching" default: true @@ -55,7 +60,7 @@ jobs: tests: name: "Build and Deploy Documentation" continue-on-error: ${{ inputs.continue-on-error || inputs.julia-version == 'nightly' }} - runs-on: "${{ inputs.self-hosted && 'self-hosted' || inputs.os }}" + runs-on: ${{ inputs.runner != '' && fromJson(inputs.runner) || (inputs.self-hosted && 'self-hosted' || inputs.os) }} steps: - uses: actions/checkout@v6