Update coverage overlay #110

	name: update frontend

	on:
	push:
	branches:
	- main
	workflow_dispatch:

	jobs:
	update-frontend:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	with:
	ssh-key: ${{ secrets.WORKFLOW_SSH_KEY }}

	- name: Set up Volta
	uses: volta-cli/action@v1

	- name: Build front end
	run: ./gradlew buildFrontend

	- uses: webfactory/[email protected]
	with:
	ssh-private-key: ${{ secrets.WORKFLOW_SSH_KEY }}

	- name: Set Git author information
	run: \|
	git config --global user.name "chkpnt CI"
	git config --global user.email "[email protected]"

	- name: Publish front end to GitHub Pages
	run: ./gradlew frontend:gitPublishPush

Provide feedback