pattern matching coverage checking algorithm #89

	# This is a basic workflow to help you get started with Actions
	name: Publish

	# Controls when the action will run.
	on:
	# Triggers the workflow on push or pull request events but only for the develop branch
	push:
	branches: [ develop ]
	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	jobs:
	publish:
	runs-on: ubuntu-latest

	steps:
	# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
	- uses: actions/checkout@v2
	- name: Cache installed packages
	uses: actions/cache@v2
	with:
	path: \|
	~/.cache/racket
	~/.local/share/racket
	key: ${{ runner.os }}-primes
	- uses: Bogdanp/setup-racket@v1.7
	with:
	architecture: 'x64'
	distribution: 'minimal'
	variant: 'CS'
	version: 'stable'
	- name: Build
	run: \|
	raco pkg install --auto --batch --skip-installed scribble-lib scribble-math pie
	raco scribble --htmls +m --redirect-main http://docs.racket-lang.org/ docs.scrbl
	cp -R ./research ./docs
	- name: Deploy
	uses: peaceiris/actions-gh-pages@v3
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: docs
	publish_branch: master

Provide feedback