Skip to content

Commit

Permalink
allow cwd to be changed in difftest (#35946)
Browse files Browse the repository at this point in the history
  • Loading branch information
rosstimothy authored Jan 4, 2024
1 parent 19adbba commit 05c8176
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions .github/actions/difftest/action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand All @@ -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 }}

0 comments on commit 05c8176

Please sign in to comment.