Skip to content

Commit

Permalink
Reset paths to ignore
Browse files Browse the repository at this point in the history
  • Loading branch information
EZoni committed Nov 19, 2024
1 parent 6636191 commit 7a5e040
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions .github/workflows/scripts/check_diff.sh
Original file line number Diff line number Diff line change
Expand Up @@ -21,15 +21,13 @@ git diff --name-only --diff-filter=ACMRTUXB origin/${base_ref}..fork/${head_ref}
echo "Files changed:"
cat check_diff.txt

# Set paths to ignore
# Set paths to ignore (please test grep command below when adding new patterns)
paths_ignore=()
paths_ignore+=("Docs/")
paths_ignore+=(".github/")
paths_ignore+=(".azure-pipelines.yml")
echo "Paths to ignore:"
echo ${paths_ignore[@]}

# Set string for grep command
# Set string for regular expression to grep
paths_ignore_string=$(IFS='|'; echo "${paths_ignore[*]}")

# Set skip variable after inspecting files changed
Expand Down

0 comments on commit 7a5e040

Please sign in to comment.