Merge pull request #98 from digital-land/feat/exp #2262

	name: Build specification

	on:
	push:
	paths-ignore:
	- 'collection/resource/**'
	- 'collection/log/**'
	- 'index/**'
	- 'var/**'
	branches:
	main
	schedule:
	- cron: '0 0 * * *'
	workflow_dispatch:

	env:
	DLB_BOT_EMAIL: ${{ secrets.DLB_BOT_EMAIL }}
	DLB_BOT_TOKEN: ${{ secrets.DLB_BOT_TOKEN }}
	DLB_BOT_USERNAME: ${{ secrets.DLB_BOT_USERNAME }}

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- uses: actions/setup-python@v2
	with:
	python-version: 3.9

	- name: Branch name
	run: echo running on branch ${GITHUB_REF##*/}

	- name: Setup git
	run: \|
	git config user.email "${DLB_BOT_EMAIL}"
	git config user.name "${DLB_BOT_USERNAME}"
	git remote set-url origin https://${DLB_BOT_USERNAME}:${DLB_BOT_TOKEN}@github.com/${GITHUB_REPOSITORY}.git
	git checkout ${GITHUB_REF##*/}

	- name: Update makerules
	run: make makerules

	- name: Commit updated makerules
	run: make commit-makerules

	- name: Clean specification and docs
	run: make clean clobber

	- name: Install dependencies
	run: make init

	- name: Build specification
	run: make specification

	- name: Check specification
	run: make check

	- name: Commit specification
	run: make commit-specification

	- name: Build docs
	run: make render

	- name: Commit docs
	run: make commit-docs

Provide feedback