[build] Add support for code coverage - #12259

[build] Add support for code coverage#12259

ejgallego wants to merge 2 commits into

rocq-prover:masterrocq-prover/rocq:masterfrom

ejgallego:dune+bisectejgallego/coq:dune+bisectCopy head branch name to clipboard