markdownlint per le PR

This commit is contained in:
Paolo Asperti 2024-08-10 12:14:50 +02:00
parent a52943938b
commit ad9c038351
Signed by: paspo
GPG Key ID: 06D46905D19D5182
3 changed files with 45 additions and 0 deletions

View File

@ -0,0 +1,20 @@
#!/bin/bash
echo
echo "Initial commit: $1"
echo "Final commit: $2"
echo
# recupera ogni file modificato in questa PR (tra le 2 commit)
# considera solo i file che terminano con .md
# ogni file viene controllato con markdownlint, con la config comune
EXIT=0
while read -r LINE; do
echo
echo "testing file: $LINE"
markdownlint --config .markdownlint.yaml "$LINE" || EXIT=1
done < <(git diff --name-only "$1" "$2" content/ | grep \.md$)
exit ${EXIT}

View File

@ -0,0 +1,21 @@
---
name: Linting markdown on PR
on:
pull_request:
jobs:
unicode-check:
runs-on: ubuntu-latest
container:
image: catthehacker/ubuntu:act-latest
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- name: run markdownlint on changed files
uses: docker://ghcr.io/igorshubovych/markdownlint-cli
with:
entrypoint: /bin/sh
args: -c 'apk -U add git bash ; bash .gitea/workflows/markdownlint_pr.sh ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }}'

4
.markdownlint.yaml Normal file
View File

@ -0,0 +1,4 @@
# vedi: https://github.com/DavidAnson/markdownlint/blob/main/schema/.markdownlint.yaml
default: true
MD013: false