feat(maintenance): Simplify and speed up markdownlint

Signed-off-by: GitHub <noreply@github.com>
pull/1419/head
Eric Nemchik 11 months ago committed by GitHub
parent 15cf05f0a7
commit fb26a0180a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -17,10 +17,8 @@ jobs:
- uses: actions/checkout@v3.5.3
- name: markdownlint
run: |
find "${GITHUB_WORKSPACE}" -name '*.md' -exec \
docker run --rm \
-v "${GITHUB_WORKSPACE}":"${GITHUB_WORKSPACE}" \
-v "${GITHUB_WORKSPACE}/.markdownlint.jsonc":"/config/.markdownlint.jsonc" \
docker run --rm \
-v "${GITHUB_WORKSPACE}":/data \
markdownlint/markdownlint \
-c "/config/.markdownlint.jsonc" \
{} +
-c "/data/.markdownlint.jsonc" \
.

Loading…
Cancel
Save