Some small updates to Brewfile #667

	name: CI
	on: [push]
	jobs:
	# dhall:
	# runs-on: ubuntu-latest
	# steps:
	# - uses: actions/checkout@v2
	# - uses: awseward/[email protected]
	# with:
	# dhallVersion: 1.42.0

	shell:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- uses: awseward/[email protected]

	local:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- name: Run checks committed directly to repository
	run: set -euo pipefail; find .checks -type f \| while read -r check_file; do "${check_file}"; done

Provide feedback