From 50de035f6d33b7233fd263892dd263d52b997f5c Mon Sep 17 00:00:00 2001
From: Chevdor <chevdor@users.noreply.github.com>
Date: Wed, 6 Sep 2023 13:58:53 +0200
Subject: [PATCH] Fix PRdoc check (#1419)
---
.github/workflows/check-prdoc.yml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.github/workflows/check-prdoc.yml b/.github/workflows/check-prdoc.yml
index e677ded8d6c..219952fdbfb 100644
--- a/.github/workflows/check-prdoc.yml
+++ b/.github/workflows/check-prdoc.yml
@@ -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}
--
GitLab