DawnMagnet/tldr
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

check-pr: fix GitHub Action to gather the diff (#11425)

Browse Source
This commit is contained in:
Sebastiaan Speck
2023-11-11 19:35:12 +01:00
committed by GitHub
parent f39087a6dc
commit 4ea80ce3b3
2 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/ci.yml vendored
View File

@@ -13,6 +13,8 @@ jobs:
steps: steps:
- uses: actions/checkout@v4 - uses: actions/checkout@v4
with:
fetch-depth: 0
- uses: actions/setup-python@v4 - uses: actions/setup-python@v4
with: with:

4
scripts/check-pr.sh
View File

@@ -2,7 +2,7 @@
# SPDX-License-Identifier: MIT # SPDX-License-Identifier: MIT
# This script is executed by GitHub Actions for every pull request opened. # This script is executed by GitHub Actions for every pull request opened.
# It currently accomplishes the following objectives (for English pages only): # It currently accomplishes the following objectives:
# #
# 1. Detect pages that were just copied (i.e. cp pages/{common,linux}/7z.md). # 1. Detect pages that were just copied (i.e. cp pages/{common,linux}/7z.md).
# 2. Detect pages that were added in a platform specific directory although # 2. Detect pages that were added in a platform specific directory although
@@ -50,7 +50,7 @@ function check_diff {
local line local line
local entry local entry
git_diff=$(git diff --name-status --find-copies-harder --diff-filter=AC --relative=pages/ remotes/origin/main) git_diff=$(git diff --name-status --find-copies-harder --diff-filter=AC origin/main -- pages*/)
if [[ -n $git_diff ]]; then if [[ -n $git_diff ]]; then
echo -e "Check PR: git diff:\n$git_diff" >&2 echo -e "Check PR: git diff:\n$git_diff" >&2