Skip to main content

pull_index_bundle

lean_ctx::cloud_client

Function pull_index_bundle 

Source 
pub fn pull_index_bundle(project_root: &Path) -> Result<BundleManifest, String>
Expand description

Download, decrypt and unpack the hosted bundle for this project. Returns the bundle manifest on success.