Repository navigation

feat: say why checks were skipped in the report #96

	name: Coverage

	on:
	push:
	branches: [main]
	pull_request:
	branches: [main]

	permissions:
	contents: read

	jobs:
	coverage:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
	with:
	# Nothing after checkout needs authenticated git.
	persist-credentials: false
	- uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7.0.0
	with:
	# 3.10 is the real floor, see test.yml
	python-version: "3.10"
	- name: Install dependencies
	run: \|
	pip install -r requirements.txt
	pip install pytest pytest-cov
	- name: Run tests with coverage
	run: \|
	pytest --cov=main --cov-report=xml --cov-report=term-missing main_test.py
	- name: Upload coverage to Codecov
	uses: codecov/codecov-action@303a32d7a59b442fa8d48b6a1cc6825c09c847a5 # v7.1.1
	with:
	# Required: main is a protected branch, so Codecov rejects tokenless uploads.
	token: ${{ secrets.CODECOV_TOKEN }}
	files: ./coverage.xml
	flags: unittests
	name: codecov-umbrella
	# Hard-fail on push to main so a broken upload is visible; on PRs the
	# report is informational and a flaky upload should not block review.
	fail_ci_if_error: ${{ github.event_name == 'push' }}