Skip to main content

Module clone

lean_ctx::core::eval_ab::testbench

Module clone 

Source
Expand description

Repo materialization for the testbench (#611).

Turns a RepoEntry into an on-disk directory the eval can read:

  • local fixture (path) — resolved against the lockfile dir and returned as-is. This is what the committed deterministic CI subset uses, so it never touches the network.
  • remote (url + commit) — cloned into cache/<name> once, then checked out at the pinned commit on every run. The clone is idempotent (reused across runs) and the checked-out HEAD is verified to equal the pin, so a moved tag or a force-pushed branch can never silently change what the public run measured.

Functions§

materialize
Materializes repo and returns the directory its task workspaces resolve against.