pub(crate) fn record_lean_task(
cache: &mut FixQueryCache,
key: String,
hash: u64,
)Expand description
Records that the lean files for the task with the given hash have been generated. The proof
starts out as LeanStatus::Invalid and is marked as valid once it has been checked.