diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 5360051efc..1c011c858c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -59,7 +59,7 @@ jobs: - name: Filter only docs changes id: docs run: | - files=$(git diff --name-only HEAD^ | egrep -v "^docs/") + files=$(git diff --name-only HEAD^ | egrep -v "^docs/" | egrep -v "^examples/" | egrep -v "^README.md") if [ -z "$files" ]; then echo "docs_only=true" >> $GITHUB_OUTPUT else diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml index c961db761b..780d61d981 100644 --- a/.github/workflows/codeql-analysis.yml +++ b/.github/workflows/codeql-analysis.yml @@ -35,7 +35,7 @@ jobs: - name: Filter only docs changes id: docs run: | - files=$(git diff --name-only HEAD^ | egrep -v "^docs/") + files=$(git diff --name-only HEAD^ | egrep -v "^docs/" | egrep -v "^examples/" | egrep -v "^README.md") if [ -z "$files" ]; then echo "docs_only=true" >> $GITHUB_OUTPUT else