version bump #374

	name: Deploy site
	on:
	push:
	schedule:
	- cron: '47 4 * * 4'

	jobs:
	linux1:
	name: Build site
	runs-on: ubuntu-latest
	steps:
	- name: update package database
	run: sudo apt-get update
	- name: install required packages
	run: sudo apt-get install cabal-install php php-curl minify yui-compressor
	- name: update cabal
	run: cabal update
	- name: install pandoc
	run: cabal install pandoc-3.1.2 pandoc-cli --installdir=/tmp/bin
	- name: checkout code
	uses: actions/[email protected]
	- name: build the site
	run: make

	linux2:
	name: Look for todos
	runs-on: ubuntu-latest
	steps:
	- name: checkout code
	uses: actions/[email protected]
	- name: look for todos
	run: "! grep -i -P '<pre\\s>\|TODO\|[?]{3,}' /*.md"

	linux3:
	name: Deploy website
	runs-on: ubuntu-latest
	needs: [linux1, linux2]
	if: github.ref == 'refs/heads/master'
	steps:
	- name: update package database
	run: sudo apt-get update
	- name: install required packages
	run: sudo apt-get install cabal-install minify php php-curl yui-compressor
	- name: update cabal
	run: cabal update
	- name: install pandoc
	run: cabal install pandoc-3.1.2 pandoc-cli --installdir=/tmp/bin
	- name: checkout code
	uses: actions/[email protected]
	- name: build the site
	run: make
	- name: deploy site to gh-pages
	uses: JamesIves/[email protected]
	with:
	branch: gh-pages
	folder: out_
	single-commit: true

Provide feedback