Skip to main content

DEFAULT_CLONE_TIMEOUT_SECS

lean_ctx::core::git::clone

Constant DEFAULT_CLONE_TIMEOUT_SECS 

Source 
pub const DEFAULT_CLONE_TIMEOUT_SECS: u64 = 90;
Expand description

Default wall-clock timeout for a clone/fetch.