con questa roba facciamo dei controlli su ogni PR: - vengono controllati i files modificati e se sono nella directory `content` e hanno estensione `.md` vengono passati con `markdownlint` (c'è una config apposita e per ora ho disattivato solo il controllo della lunghezza massima della riga) e se il check fallisce, la PR non è accettabile - vengono controllati i files modificati e se contengono i caratteri "non permessi" che sono indicati in una lista, la PR non è accettabile so che forse è un pò "too much", quindi ce la vediamo nei commenti Reviewed-on: #191 Co-authored-by: paspo <paolo@asperti.com> Co-committed-by: paspo <paolo@asperti.com>
26 lines
773 B
YAML
26 lines
773 B
YAML
---
|
|
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 }}'
|
|
|
|
- name: check for unwanted unicode runes
|
|
run: |
|
|
bash .gitea/workflows/unwanted_unicode_pr.sh ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }}
|