From 05c8176170d263c847bbed537c18be5589adc9d0 Mon Sep 17 00:00:00 2001 From: rosstimothy <39066650+rosstimothy@users.noreply.github.com> Date: Thu, 4 Jan 2024 10:13:33 -0500 Subject: [PATCH] allow cwd to be changed in difftest (#35946) --- .github/actions/difftest/action.yml | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/.github/actions/difftest/action.yml b/.github/actions/difftest/action.yml index d25c78455dd34..295dca59b38ce 100644 --- a/.github/actions/difftest/action.yml +++ b/.github/actions/difftest/action.yml @@ -24,6 +24,11 @@ inputs: required: false default: ${GITHUB_WORKSPACE} + directory: + description: The directory to run the command from + required: false + default: . + runs: using: "composite" steps: @@ -34,10 +39,12 @@ runs: - name: Show id: diffs shell: bash + working-directory: ${{ inputs.directory }} run: | ${{ inputs.bin }} diff --path ${{ inputs.path }} --branch remotes/origin/${GITHUB_BASE_REF} ${{ inputs.flags }} echo "subject=$(${{ inputs.bin }} test --path ${{ inputs.path }} --branch remotes/origin/${GITHUB_BASE_REF} ${{ inputs.flags }} -d)" > $GITHUB_OUTPUT - name: Run shell: bash + working-directory: ${{ inputs.directory }} run: SUBJECT='${{ steps.diffs.outputs.subject }}' ADDFLAGS='-count ${{ inputs.attempts }}' make ${{ inputs.target }}