github/ci: fixing merge conflict with coverage uploading #249

	name: Code Coverage CI

	on:
	workflow_dispatch:
	pull_request:
	push:
	branches:
	- master
	- github-ci

	jobs:
	standard:
	strategy:
	fail-fast: false
	matrix:
	runs-on: [ubuntu-latest]

	name: "💦 ${{ matrix.runs-on }}"
	runs-on: ${{ matrix.runs-on }}

	steps:
	- uses: actions/checkout@v2

	- name: Setup gcovr (Linux)
	if: runner.os == 'Linux'
	run: \|
	sudo apt-get update --fix-missing
	sudo apt-get install -y gcovr

	#- name: Setup gcovr (macOS)
	# if: runner.os == 'macOS'
	# run: brew install gcovr

	#- name: Setup libfec
	# run: git clone https://github.com/jgaeddert/libfec.git && cd libfec && ./configure && make && sudo make install

	- name: bootstrap
	run: ./bootstrap.sh

	- name: configure
	run: ./configure --enable-coverage

	- name: make
	run: make -j 2

	- name: make coverage
	run: make -j 2 coverage

	# prefer codecov action (below), but produces 'unusable report';
	- name: upload report to codecov using bash script
	run: bash <(curl -s https://codecov.io/bash)

	# NOTE: this fails to upload
	# (suspect path fixing needed: https://docs.codecov.com/docs/fixing-paths)
	#- name: upload report to codecov with github action
	# uses: codecov/codecov-action@v4
	# with:
	# fail_ci_if_error: true
	# verbose: true
	# token: ${{ secrets.CODECOV_TOKEN }}

Provide feedback