-
Notifications
You must be signed in to change notification settings - Fork 4
44 lines (35 loc) · 1.47 KB
/
check_markdown.yaml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
# Check that there is correct markdown in all files
name: Check markdown
# Check spelling on the 21st day of the month.
# 21st as the first letter of this repo is the 21st letter in the alphabet.
on:
push:
pull_request:
schedule:
- cron: "0 0 21 * *"
jobs:
check_markdown:
runs-on: ubuntu-latest
env:
GITHUB_PAT: ${{ secrets.GITHUB_TOKEN }}
steps:
- name: Set up Git repository
uses: actions/checkout@v4
# Indented blocks are ignored, as the linter assumes it to be code.
# In our case, it is not: for us, it is usually an admonition (i.e. a 'question' or 'info' block)
# Here all indented text is unindented
# https://github.com/UPPMAX/UPPMAX-documentation/issues/114
- name: unindent text
run: ./scripts/unindent_text.sh
- uses: articulate/actions-markdownlint@v1
with:
config: .markdownlint.jsonc
ignore: .markdownlintignore
# There are many linters with the same name,
# this is the linter whose documentation to look into :-)
- name: CLI to the linter is at https://github.com/igorshubovych/markdownlint-cli
run: echo "CLI to the linter is at https://github.com/igorshubovych/markdownlint-cli"
# There are many linters with the same name,
# this is the linter whose documentation to look into :-)
- name: Linter is at https://github.com/DavidAnson/markdownlint
run: echo "Linter is at https://github.com/DavidAnson/markdownlint"