mirror of
https://git.mirrors.martin98.com/https://github.com/Ultimaker/Cura
synced 2025-05-31 02:25:57 +08:00
GIT_DIFF not necessarity have the info of deleted files
CURA-10903
This commit is contained in:
parent
38382eeec7
commit
2f8829c2d1
@ -38,8 +38,10 @@ jobs:
|
|||||||
run: mkdir printer-linter-result
|
run: mkdir printer-linter-result
|
||||||
|
|
||||||
- name: Check Deleted Files(s)
|
- name: Check Deleted Files(s)
|
||||||
if: env.GIT_DIFF
|
|
||||||
run: python printer-linter/src/terminal.py --deleted --report printer-linter-result/fixes.yml $(echo "$GIT_DIFF" | grep '^D')
|
run: |
|
||||||
|
deletedFiles="$(git log -m -1 --name-status --pretty="format:" | awk '/^D/ {print $2}' | tr '\n' ' ')"
|
||||||
|
python printer-linter/src/terminal.py --deleted --report printer-linter-result/fixes.yml $(echo "$deletedFiles")
|
||||||
|
|
||||||
- name: Diagnose file(s)
|
- name: Diagnose file(s)
|
||||||
if: env.GIT_DIFF && !env.MATCHED_FILES
|
if: env.GIT_DIFF && !env.MATCHED_FILES
|
||||||
|
Loading…
x
Reference in New Issue
Block a user