Skip to content

[build] Add support for code coverage - #12259

Closed
ejgallego wants to merge 2 commits into
rocq-prover:masterfrom
ejgallego:dune+bisect
Closed

[build] Add support for code coverage#12259
ejgallego wants to merge 2 commits into
rocq-prover:masterfrom
ejgallego:dune+bisect

[wip] Fixup to bisect report upload

3a81966
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs