Skip to content

Commit

Permalink
Fix PRdoc check (#1419)
Browse files Browse the repository at this point in the history
  • Loading branch information
chevdor authored and Ank4n committed Sep 8, 2023
1 parent 7520e04 commit a317ef9
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/check-prdoc.yml
Original file line number Diff line number Diff line change
Expand Up @@ -47,5 +47,5 @@ jobs:
- name: PRdoc check for PR#${{ github.event.pull_request.number }}
if: ${{ !contains(steps.get-labels.outputs.labels, 'R0') }}
run: |
echo "Checking for PR#$GITHUB_PR in $MOUNT"
$ENGINE run --rm -v $PWD/prdoc:/doc $IMAGE check -n 1408
echo "Checking for PR#${GITHUB_PR} in $MOUNT"
$ENGINE run --rm -v $PWD/prdoc:/doc $IMAGE check -n ${GITHUB_PR}

0 comments on commit a317ef9

Please sign in to comment.