diff --git a/.github/workflows/arch.yml b/.github/workflows/arch.yml index 1f72084de9..3c2dfcc605 100644 --- a/.github/workflows/arch.yml +++ b/.github/workflows/arch.yml @@ -169,13 +169,13 @@ jobs: # If PR was Created or Modified: Exclude some boards pr=${{github.event.pull_request.number}} if [[ "$pr" != "" ]]; then - echo "Excluding arm-08..14, risc-v-04..06, sim-02, xtensa-02" - boards=$( + echo "Excluding arm-0[248], arm-1[02-9], risc-v-04..06, sim-02, xtensa-02" + boards=$( echo '${{ inputs.boards }}' | jq --compact-output \ 'map( select( - test("arm-0[8-9]") == false and test("arm-1.") == false and + test("arm-0[248]") == false and test("arm-1[02-9]") == false and test("risc-v-0[4-9]") == false and test("sim-0[2-9]") == false and test("xtensa-0[2-9]") == false