diff --git a/.github/linters/.markdown-lint.yml b/.github/linters/.markdown-lint.yml deleted file mode 100644 index 63482d07..00000000 --- a/.github/linters/.markdown-lint.yml +++ /dev/null @@ -1,6 +0,0 @@ -{ - "MD007": { "indent": 4 }, - "MD013": false, - "MD026": false, - "MD033": { "allowed_elements": ["sup"] } -} diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index 91782a08..4c32069e 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml @@ -10,19 +10,13 @@ permissions: packages: read jobs: - superlinter: - name: Lint markdown and yaml + lint-markdown: + name: Lint markdown runs-on: ubuntu-latest steps: - - name: Checkout source - uses: actions/checkout@v6.0.2 - - name: Lint codebase - uses: docker://github/super-linter:v3.8.3 - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - VALIDATE_ALL_CODEBASE: true - VALIDATE_MD: true - VALIDATE_YAML: true + - uses: actions/checkout@v6.0.2 + - name: Lint markdown + uses: docker://ghcr.io/ponylang/shared-docker-ci-markdownlint:20260810 check-spelling: name: Spellcheck markdown diff --git a/.markdownlint.yml b/.markdownlint.yml new file mode 100644 index 00000000..0e4f2eca --- /dev/null +++ b/.markdownlint.yml @@ -0,0 +1,10 @@ +{ + "MD007": { "indent": 4 }, + "MD013": false, + "MD026": false, + "MD033": { "allowed_elements": ["sup"] }, + "MD049": false, + "MD050": false, + "MD051": false, + "MD056": false +}