2022-09-02 05:52:42 -04:00
|
|
|
name: Linting
|
|
|
|
on:
|
2022-10-12 04:50:06 -04:00
|
|
|
workflow_dispatch:
|
2022-09-02 05:52:42 -04:00
|
|
|
push:
|
|
|
|
branches:
|
2022-09-03 11:47:47 -04:00
|
|
|
- main
|
|
|
|
paths:
|
|
|
|
- "docs/**"
|
2022-09-02 05:52:42 -04:00
|
|
|
pull_request:
|
2022-09-03 11:47:47 -04:00
|
|
|
paths:
|
|
|
|
- "docs/**"
|
2022-09-02 05:52:42 -04:00
|
|
|
|
|
|
|
jobs:
|
|
|
|
prose:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
2022-09-09 03:51:42 -04:00
|
|
|
- name: Checkout
|
2022-10-12 12:05:58 -04:00
|
|
|
uses: actions/checkout@93ea575cb5d8a053eaa0ac8fa3b40d7e05a33cc8 # tag=v3.1.0
|
2022-09-19 04:59:46 -04:00
|
|
|
with:
|
|
|
|
ref: ${{ github.event.pull_request.head.sha }}
|
2022-09-09 03:51:42 -04:00
|
|
|
- name: Vale
|
2022-10-14 09:32:38 -04:00
|
|
|
uses: errata-ai/vale-action@753427452ff1d6cf7a7b76a552aa0cbee3971551 # tag=v1.5.0
|
2022-09-09 03:51:42 -04:00
|
|
|
with:
|
|
|
|
files: docs/docs
|
|
|
|
env:
|
|
|
|
# Required, set by GitHub actions automatically:
|
|
|
|
# https://docs.github.com/en/actions/security-guides/automatic-token-authentication#about-the-github_token-secret
|
|
|
|
GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}
|