Skip to content

Merge branch 'master' of github.com:precice/precice.github.io #1229

Merge branch 'master' of github.com:precice/precice.github.io

Merge branch 'master' of github.com:precice/precice.github.io #1229

name: Lint docs
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
check_md:
runs-on: ubuntu-latest
steps:
- name: Check out repository
uses: actions/checkout@v2
- name: Lint markdown files (markdownlint)
uses: articulate/actions-markdownlint@v1
with:
config: .markdownlint.json
files: 'README.md pages/'
ignore: changelog-entries