CI: Rename markdownlint job (#180)

pull/168/head^2
Marco Ieni 4 years ago committed by GitHub
parent 48a530218c
commit 3ee9110615
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -42,7 +42,7 @@ jobs:
- run: mdbook test
lint:
markdown-lint:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2

Loading…
Cancel
Save