From fbedb26e8d86c6d8087f82ab7cf1819e0f3c099e Mon Sep 17 00:00:00 2001 From: SMITH <1695515+ms609@users.noreply.github.com> Date: Mon, 19 Feb 2024 16:13:01 +0000 Subject: [PATCH] config --- .github/workflows/rhub.yaml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/rhub.yaml b/.github/workflows/rhub.yaml index 6497be1e..177f7846 100644 --- a/.github/workflows/rhub.yaml +++ b/.github/workflows/rhub.yaml @@ -12,6 +12,11 @@ run-name: "${{ github.event.inputs.id }}: ${{ github.event.inputs.name || format on: push: branch: rhub.yaml + inputs: + config: + description: 'A comma separated list of R-hub platforms to use.' + type: string + default: 'clang-asan,valgrind' workflow_dispatch: inputs: config: