feat(maintenance): Simplify and speed up yamllint

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

@ -17,10 +17,9 @@ jobs:
- name: Run yamllint
run: |
find "${GITHUB_WORKSPACE}" -name '*.yml' -exec \
docker run --rm \
-v "${GITHUB_WORKSPACE}":"${GITHUB_WORKSPACE}" \
-w "${GITHUB_WORKSPACE}" \
docker run --rm \
-v "${GITHUB_WORKSPACE}":/yaml \
peterdavehello/yamllint \
yamllint -c yamllint.yml \
{} +
yamllint \
-c "/yaml/yamllint.yml" \
.

Loading…
Cancel
Save