Fix #1828

	name: coverage-test
	on: [pull_request, push]

	env:
	CC: gcc-9
	CXX: g++-9
	apt_options: -o Acquire::Retries=3

	jobs:
	build:
	name: coverage-test
	runs-on: ubuntu-20.04

	# Run on external PRs, but not internal PRs as they'll be run by the push
	if: github.event_name == 'push' \|\| github.event.pull_request.head.repo.full_name != github.repository

	steps:
	- name: Checkout repository
	uses: actions/checkout@v4
	- name: Fetch repository
	run: git fetch --prune --unshallow
	- name: Get submodules
	run: git submodule update --init --force --recursive
	- name: Install packages
	run: \|
	sudo apt-get ${{env.apt_options}} update -y
	sudo apt-get ${{env.apt_options}} install -y build-essential libhdf5-dev lcov
	- name: Build and run unittests
	run: ci/coverage_test.sh
	- name: Upload Coverage to Coveralls
	uses: coverallsapp/github-action@master
	with:
	github-token: ${{ secrets.GITHUB_TOKEN }}
	path-to-lcov: build/build-coverage/coverage.info

Provide feedback