Skip to main content

push_index_bundle

lean_ctx::cloud_client

Function push_index_bundle 

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

Pack, encrypt and upload the project’s index bundle. Returns (project_hash, encrypted_size_bytes).