Z3Prover/bench · workflow dependency graph runs (auto) explicit dispatches manual scheduled push workflow_run triggered agentic workflow (.lock.yml) scroll to zoom · drag to pan