Skip to content

Commit

Permalink
Merge pull request #60 from jouvin/ci_exclude_deleted_files
Browse files Browse the repository at this point in the history
CI scripts (panlint/indent): exclude deleted files
  • Loading branch information
jrha authored Nov 6, 2024
2 parents 5d68e5a + eb89baf commit 342a0db
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion .ci-scripts/indent
Original file line number Diff line number Diff line change
Expand Up @@ -5,4 +5,4 @@ rm -f /tmp/indent.py
wget -q https://raw.githubusercontent.com/stfc/Pan-Indenter/master/pan_indent_checker.py -O /tmp/indent.py
chmod u+x /tmp/indent.py

git diff --name-only HEAD^ | grep '\.pan$' | xargs -rn1 /tmp/indent.py check || exit 1
git diff --name-only --diff-filter=d HEAD^ | grep '\.pan$' | xargs -rn1 /tmp/indent.py check || exit 1
2 changes: 1 addition & 1 deletion .ci-scripts/panlint
Original file line number Diff line number Diff line change
Expand Up @@ -5,4 +5,4 @@ rm -f /tmp/panlint.py
wget -q https://raw.githubusercontent.com/quattor/pan/master/panc/src/main/scripts/panlint/panlint.py -O /tmp/panlint.py
chmod u+x /tmp/panlint.py

git diff --name-only HEAD^ | grep '\.pan$' | xargs -r /tmp/panlint.py || exit 1
git diff --name-only --diff-filter=d HEAD^ | grep '\.pan$' | xargs -r /tmp/panlint.py || exit 1

0 comments on commit 342a0db

Please sign in to comment.