|
@@ -34,7 +34,7 @@ jobs:
|
|
|
- name: Compute changed English docs
|
|
- name: Compute changed English docs
|
|
|
id: changes
|
|
id: changes
|
|
|
run: |
|
|
run: |
|
|
|
- FILES=$(git diff --name-only "${{ github.event.before }}" "${{ github.sha }}" -- 'packages/web/src/content/docs/*.mdx' || true)
|
|
|
|
|
|
|
+ FILES=$(git diff --name-only "${{ github.event.before }}" "${{ github.sha }}" -- ':(glob)packages/web/src/content/docs/*.mdx' || true)
|
|
|
if [ -z "$FILES" ]; then
|
|
if [ -z "$FILES" ]; then
|
|
|
echo "has_changes=false" >> "$GITHUB_OUTPUT"
|
|
echo "has_changes=false" >> "$GITHUB_OUTPUT"
|
|
|
echo "No English docs changed in push range"
|
|
echo "No English docs changed in push range"
|
Frank