Update coverage configuration #488

	name: Build and Deploy
	on:
	push:
	branches:
	- master
	jobs:
	build-and-deploy:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v2
	with:
	persist-credentials: false
	# NOTE: uncomment the following lines if you intend to use PyPlot
	# - name: Install python
	# uses: actions/setup-python@v1
	# with:
	# python-version: '3.8'
	# - run: pip install matplotlib
	- name: Install Julia
	uses: julia-actions/setup-julia@v1
	with:
	version: 1 # Latest stable Julia version.
	# NOTE
	# Adjust the `input=""` on the last line to indicate where
	# the source of the package page is (`page/` by default).
	#
	# Adjust also `output=""` on the last line if you want
	# the page to be deployed in a specific folder on gh-pages
	# if you do that, make sure that you adjust the `prepath`
	# variable in `config.md` accordingly! so for instance
	# if you set here `folder="web"` change prepath for
	# `@def prepath = "YourPackage.jl/web"`
	- run: julia -e '
	using Pkg;
	Pkg.add(["NodeJS", "PkgPage"]);
	Pkg.add(url="https://github.com/sumiya11/Groebner.jl");
	using NodeJS;
	run(`$(npm_cmd()) install highlight.js purgecss`);
	import PkgPage;
	PkgPage.optimize(input="docs", output="")'
	env:
	GKSwstype: "100"
	- name: Build and Deploy
	uses: JamesIves/github-pages-deploy-action@releases/v3
	with:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	BRANCH: gh-pages
	FOLDER: docs/__site

Provide feedback