590864128

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
590864128	master	Remove unused option(?)	push	22 Feb 2021 11:56PM UTC	Aleksander Heintz	github	pending completion set done
590825624	master	Add grcov ignored files	push	22 Feb 2021 11:38PM UTC	Aleksander Heintz	github	pending completion set done
590803952	master	Add code coverage CI	push	22 Feb 2021 11:28PM UTC	Aleksander Heintz	github	pending completion set done