Fix PRdoc check (#1419)

This commit is contained in:
Chevdor
2023-09-06 13:58:53 +02:00
committed by GitHub
parent dc28df0b27
commit 50de035f6d
+2 -2
View File
@@ -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}