Filter md

Author: janhohenheim

.github/workflows/ci.yml

@@ -23,12 +23,10 @@ jobs:
       # source: https://stackoverflow.com/a/74268200
       run: |
         if ${{ github.event_name == 'pull_request' }}; then
-            changed_files=$(git diff --name-only -r HEAD^1 HEAD | xargs)
+            echo "changed_files=$(git diff --name-only -r HEAD^1 HEAD | grep -E '\.md$' | xargs)" >> $GITHUB_ENV
         else
-            changed_files=$(git diff --name-only ${{ github.event.before }} ${{ github.event.after }} | xargs)
+            echo "changed_files=$(git diff --name-only ${{ github.event.before }} ${{ github.event.after }} | grep -E '\.md$' | xargs)" >> $GITHUB_ENV
         fi
-        # filter out files that are not markdown
-        echo "changed_files=$(echo $changed_files | tr ' ' '\n' | grep -E '\.md$' | xargs)" >> $GITHUB_OUTPUT
     - name: Lint
       uses: avto-dev/markdown-lint@v1
       with: