Fixes from review #103

	name: CI

	on:
	push:
	branches-ignore:
	- "github-pages/*"
	- "gh-pages/*"
	- "main"
	- "master"
	pull_request:
	types: [opened, reopened]
	schedule:
	# “At 00:00 on every 7th day-of-month from 1 through 31.” (https://crontab.guru)
	- cron: "0 0 1/7 * *"

	jobs:

	checks:
	name: Checks
	uses: ./.github/workflows/checks.yml

	tests:
	name: Tests
	uses: ./.github/workflows/tests_with_coverage.yml

	metrics:
	needs: [ tests, checks ]
	uses: ./.github/workflows/report.yml

	# This job ensures inputs have been executed successfully.
	approve-merge:
	name: Allow Merge
	runs-on: ubuntu-latest
	# If you need additional jobs to be part of the merge gate, add them below
	needs: [ metrics ]

	# Each job requires a step, so we added this dummy step.
	steps:
	- name: Approve
	run: \|
	echo "Merge Approved"

Provide feedback