Add docs for release v1.3 (#474) #125

	name: Linting
	on:
	push:
	branches:
	- master
	paths:
	- "docs/**"
	pull_request:
	paths:
	- "docs/**"

	jobs:
	prose:
	runs-on: ubuntu-22.04
	steps:
	- name: Checkout
	uses: actions/checkout@f43a0e5ff2bd294095638e18286ca9a3d1956744 # v3

	- name: Vale
	uses: errata-ai/vale-action@c4213d4de3d5f718b8497bd86161531c78992084 # v2
	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}}

Provide feedback