Skip to content

Allow passing configuration options to the bench command - #372

Open
Janno wants to merge 14 commits into
rocq-prover:masterfrom
Janno:janno/bench-variables
Open

Allow passing configuration options to the bench command#372
Janno wants to merge 14 commits into
rocq-prover:masterfrom
Janno:janno/bench-variables

Extract bench parser tests to a separate file

b2a6df0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build-and-test
succeeded Aug 17, 2026 in 1m 20s