v1.3.1 #160

	name: Docs Build

	on:
	release:
	types: [released]
	env:
	BuildNumber: "${{ github.run_number }}"

	jobs:
	build-api-docs:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2

	- name: Setup .NET
	uses: actions/setup-dotnet@v1
	with:
	dotnet-version: 7.0.x

	- name: Restore dependencies
	run: dotnet restore

	- name: Build
	run: dotnet build --no-restore

	- name: Doc generation
	run: dotnet run --project ./tools/EdgeDB.DocGenerator/ -- $GITHUB_WORKSPACE

	- name: Set git status Env
	id: gh-status-check
	run: \|
	echo "GITHUB_COMMIT_STATUS<<EOF" >> $GITHUB_ENV
	git status >> $GITHUB_ENV
	echo 'EOF' >> $GITHUB_ENV

	- name: Commit files
	if: ${{ !contains(env.GITHUB_COMMIT_STATUS, 'nothing to commit') }}
	run: \|
	git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
	git config --local user.name "github-actions[bot]"
	git commit -m "Generate docs" -a

	- name: Push changes
	if: ${{ !contains(env.GITHUB_COMMIT_STATUS, 'nothing to commit') }}
	uses: ad-m/github-push-action@master
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	branch: ${{ github.ref }}

Provide feedback